turn off py2 builds, that worked all right with all the tags

[infrastructure.git] / scripts / git-mirror.sh

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index a1f3e15..3f05125 100755 (executable)
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -2,7 +2,7 @@
 COMMAND=$(basename $0)
 
 # for sending emails (-a option)
-ADMINS="Thierry.Parmentelat@inria.fr baris@metin.org"
+ADMINS="Thierry.Parmentelat@inria.fr"
 # the other end of the mirror (-r option)
 REMOTE_GIT="git://git.planet-lab.org"
 # options
@@ -145,7 +145,10 @@ function mirror_repo () {
     MASTER_REPO=${MASTER_GIT}/${GIT_NAME}
 
     # if the local master is a symlink (like /git/vserver-reference.git -> sliceref.git) 
-    # then skip it, the target itself will be handled if in scope
+    # then skip it
+    # we use this for either aliases (like vserver-reference and sliceimage) or
+    # for repos managed in other locations (like /git-slave) but where
+    # the symlink is needed so they get served by git-daemon
     [ -h ${MASTER_REPO} ] && return
 
     # if there is no remote repository it may be that we only have
@@ -210,7 +213,7 @@ function usage () {
     exit 1
 }
 
-while getopts "a:r:qvfh" opt; do
+while getopts "a:r:s:qvfh" opt; do
   case $opt in
       a) ADMINS=$OPTARG ;;
       r) REMOTE_GIT=$OPTARG ;;