Cleaned up repo server, added pull-indexing via discovery descriptors
Authored by: zooty 2010-05-04
Parent: [r1304]
Child: [r1306]