f11-xo1 kernel sources?

since the update of the kernel rpm building script http://dev.laptop.org/git/users/dilinger/olpc-2.6-rpm/commit/ kernel rpms are not appearing in http://dev.laptop.org/~dilinger/ anymore. I could not figure out from the sync.sh changes if they have moved somewhere else (fedeora?) or if there is a problem with the changed script. Assuming that everything is OK with the script, could someone point to the kernel build/source http directory? Updating the wiki would be also nice too :-) Thx