bring back correct version

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 33054119e013680b08db65b02719556a3058f651..b14a8b6f1acd8e0f67443f7a211fcdf3c80fa3af 100644 (file)
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -19,6 +19,10 @@ initrepo()
        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"