-####################
-# hook to simpler, pull-only repos
-# e.g. /git-slave/tophat.git on onelab.eu
-# the idea here is, we need to keep a local read-only mirror
-# of some repositories
-# instead of hacking this script that is already scary, I preferred to write
-# a separate script git-update.sh that runs a bit like auto-update.sh
-# and that also takes care of remote branches
-# so the overall the layout is as follows
-# * manually created the local mirror by running
-# cd /git-slave
-# git clone ssh://tophat@git.top-hat.info/tophat.git
-# which creates a non-bare repo right under /git-slave
-# * create a symlink for git-daemon
-# cd /git
-# ln -s /git-slave/tophat/.git tophat.git
-
-function slave_repo () {
- git_slave=$1; shift
- cd $git_slave
- for subdir in *; do
- [ -d $subdir/.git ] && git-update.sh $subdir
- done
-}
-