not that it matters... fix push destination rewriting

diff --git a/all b/all
index 454b8f1ca90f6cfa1c2d25f6298a5680d3084e47..6831cca65da48dc052c497c1f0072b51373ed351 100755 (executable)
--- a/all
+++ b/all
@@ -587,9 +587,12 @@ case "$cmd" in
                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