-####################
-# hook to simpler, pull-only repos - the idea here is,
-# we need to keep a local read-only mirror of some repositories
-#
-# e.g. /git-slave/tophat.git on onelab.eu which is a mirror of
-# git.top-hat.info/tophat.git that can't easily be exposed as a git feed
-#
-# instead of hacking this script that is already scary,
-# I preferred to keep these simpler
-#
-# so the overall layout is as follows
-# * manually created the local mirror by running
-# cd /git-slave
-# git clone --mirror ssh://tophat@git.top-hat.info/tophat.git
-# which creates a *bare* repo /git-slave/tophat.git
-# * create a symlink for git-daemon and for gitweb
-# cd /git
-# ln -s /git-slave/tophat.git
-# Being a symlink this won't be considered by the main purpose of git-mirror.sh
-
-function slave_repo () {
- git_slave=$1; shift
- cd $git_slave
- for subdir in *; do
- [ -d $subdir/.git ] && (cd $subdir ; git fetch -q )
- done
-}
-