From: Mario Date: Sun, 8 Nov 2020 04:59:51 +0000 (+1000) Subject: Disable the German Git host of Xonotic until it can be repaired X-Git-Tag: xonotic-v0.8.5~83 X-Git-Url: https://git.rm.cloudns.org/?a=commitdiff_plain;h=afe6a50f5f043559f4f55a5bcca6d45a279f1ead;p=xonotic%2Fxonotic.git 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 effa9c10..583da9de 100644 --- 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/ ''