19 GIT_DIR
=. bang git svn fetch
20 GIT_DIR
=. bang git fetch
22 *) bang git mirror
"$url";;
25 bang git update-server-info
26 date -R >.last_refresh
28 if [ -e .banged
]; then
29 echo "$proj update succeeded - failure recovery" |
mail -s "[$cfg_name] $proj update succeeded" "$mail,$cfg_admin"