$ECHO "$d"
continue
fi
+ # remove broken clones so they don't mess up stuff
+ if [ x"$d" != x"." ] && [ -d "$d" ] && ! [ -d "$d/.git" ]; then
+ msg "$d exists but has no .git subdir. Probably a broken clone. Deleting."
+ verbose rm -rf "$d"
+ continue
+ fi
# if we have the dir, always keep it
if [ -d "$d" ]; then
msg "Repository $d enabled because it already exists"
oldbase=$base
oldpushbase=$pushbase
# transition old URLs
- if [ x"$base" = x"ssh://xonotic@push.git.xonotic.org/" ]; then
+ if [ x"$base" = x"ssh://xonotic@git.xonotic.org/" ]; then
base=ssh://xonotic@push.git.xonotic.org/
fi
+ if [ x"$pushbase" = x"ssh://xonotic@git.xonotic.org/" ]; then
+ pushbase=ssh://xonotic@push.git.xonotic.org/
+ fi
while :; do
if [ x"$1" = x"-N" ]; then
allow_pull=false