Do not use gitosis repos anymore

diff --git a/share/hydra/sync b/share/hydra/sync
index ea636f8422c2e663c4132b968c82493a4869fe0d..d09a67cbccf45134221f3f282ce71b649fff15bd 100755 (executable)
--- a/share/hydra/sync
+++ b/share/hydra/sync
@@ -55,7 +55,7 @@ function hydra_sync {
 
 # Basic parameters.
 if [ -z "$1" ]; then
-  REPOSITORIES="config doc bootless dns gitolite/public gitolite/private gitosis/public gitosis/private puppet"
+  REPOSITORIES="config doc bootless dns gitolite/public gitolite/private puppet"
 else
   REPOSITORIES="$*"
   UPDATE_KEYRINGER="no"