To reiterate, these servers contain only the ‘gingerbread’ and ‘master' branches from the old AOSP servers. We plan to release the source for the recently-announced Ice Cream Sandwich soon, once it’s available on devices.