if we fetched via ssh://, switch to git:// for fetching and keep using ssh:// for...

diff --git a/all b/all
index 051a5e8e5ace91e81422c302d0c33fdcf54910a5..e4b60dfb95db67cf422e5f35889e4fd973d0d8f1 100755 (executable)
--- a/all
+++ b/all
@@ -546,6 +546,13 @@ case "$cmd" in
                esac
                case "$location" in
                        best)
                esac
                case "$location" in
                        best)

+                               # if we fetched via ssh://, switch to git:// for fetching and keep using ssh:// for pushing
+                               case "$base" in
+                                       ssh://*)
+                                               pushbase=$base
+                                               base=git://git.xonotic.org/xonotic/xonotic.git
+                                               ;;
+                               esac

                                newbase=`$ECHO "$base" | sed "s,://\(.*\.\)\?git.xonotic.org/,:// .git.xonotic.org/,"`
                                case "$newbase" in
                                        *\ *)
                                newbase=`$ECHO "$base" | sed "s,://\(.*\.\)\?git.xonotic.org/,:// .git.xonotic.org/,"`
                                case "$newbase" in
                                        *\ *)