Es gibt einen git-repository Server auf webserver-1. Wird mit gitolite verwaltet.
Wer ein repos drauf haben will, sollte eine mail an problems schreiben, mit dem
Namen des repos und den ssh-pubkeys der Leute, die drauf zugreifen sollen.
gitolite ist lustig, weil seine Configs selbst ein repository sind,
1TB Platten-Paerchen fuer den Webserver bei Bechtle bestellt. Unter anderem fuer
den Ubuntu Mirror noetig.