also transition people who had previously used ./all update -s

diff --git a/all b/all
index 7db90a60732941eebfa0118e3cd8e9a198b91bc6..114f5c32e76c6e13f42d1ee8f38a71fbd9d6ec35 100755 (executable)
--- a/all
+++ b/all
@@ -586,6 +586,10 @@ case "$cmd" in
                location=current
                oldbase=$base
                oldpushbase=$pushbase
+               # transition old URLs
+               if [ x"$base" = x"ssh://xonotic@push.git.xonotic.org/" ]; then
+                       base=ssh://xonotic@push.git.xonotic.org/
+               fi
                while :; do
                        if [ x"$1" = x"-N" ]; then
                                allow_pull=false