Allow cloning and updating via GitLab

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index c321232f9720e8fe4f66e91b19e60548e2af1a6f..03499ba98cdfec3f7edc38f91882bd688027be5d 100644 (file)
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -32,8 +32,7 @@ allmirrors()
        "$@" http ''   http://us.git.xonotic.org/xonotic/  ''
 
        # Gitlab host (divVerent).
        "$@" http ''   http://us.git.xonotic.org/xonotic/  ''
 
        # Gitlab host (divVerent).

-       # Disabled because of https://gitlab.com/gitlab-com/support-forum/issues/15
-       "$@" http ''   https://gitlab.com/xonotic/         ''
+       "$@" http gitlab   https://gitlab.com/xonotic/     ''

 
        # German host (divVerent).
        "$@" git  de   git://de.git.xonotic.org/xonotic/   ''
 
        # German host (divVerent).
        "$@" git  de   git://de.git.xonotic.org/xonotic/   ''