Disable the German Git host of Xonotic until it can be repaired

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index effa9c10991da77c9cb99f244a32287a33ff5fc9..583da9de3c38d4614a4745ea96a95d2c61af7eb0 100644 (file)
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -34,9 +34,9 @@ allmirrors()
        # Gitlab host (divVerent).
        "$@" http gitlab   https://gitlab.com/xonotic/     ''
 
-       # German host (divVerent).
-       "$@" git  de   git://de.git.xonotic.org/xonotic/   ''
-       "$@" http de   http://de.git.xonotic.org/xonotic/  ''
+       # German host - disabled (divVerent).
+       "$@" git  ''   git://de.git.xonotic.org/xonotic/   ''
+       "$@" http ''   http://de.git.xonotic.org/xonotic/  ''
 
        # Pushing destination (authoritative server; merlijn).
        "$@" ssh  push ssh://git@gitlab.com/xonotic/       ''