base=
pushbase=
allrepos initrepo_ "`git config remote.origin.url`" "`git config remote.origin.pushurl`"
+ if [ -z "$base" ]; then
+ msg "The main repo is not xonotic.git, what have you done?"
+ exit 1
+ fi
msg "Found main repo = $base"
if [ -n "$pushbase" ]; then
msg "Found push repo = $pushbase"