hi all! The git migration is on its final stages but I can't find any document on how did you manage to administrate the users. What kind of infrastructure do you have in order to allow push?
cheers!
--
Quality, correctness, elegance.
-- Edsger Dijkstra
_______________________________________________
gnome-infrastructure mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-infrastructure
