Add the gitlab mirrors.

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 38a90bde0b7b0d532bd94e39f476712f02306f50..fab9a3ffc6b8f3ae5c6956a3e68d0418f714831f 100644 (file)
--- a/misc/tools/all/config.subr
+++ b/misc/tools/all/config.subr
@@ -33,6 +33,9 @@ allmirrors()
        "$@" http nl   http://nl.git.xonotic.org/xonotic/  '*2'
 
        "$@" ssh  push ssh://xonotic@push.git.xonotic.org/ ''
+
+       "$@" http lab  https://gitlab.com/xonotic/         ''
+       "$@" ssh  lab  ssh://git@gitlab.com/xonotic/       ''
 }
 
 have_time=true