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
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
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 ;;