From afe6a50f5f043559f4f55a5bcca6d45a279f1ead Mon Sep 17 00:00:00 2001 From: Mario Date: Sun, 8 Nov 2020 14:59:51 +1000 Subject: [PATCH] Disable the German Git host of Xonotic until it can be repaired --- misc/tools/all/config.subr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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/ '' -- 2.39.2