From: Rudolf Polzer <divverent@xonotic.org>
Date: Mon, 18 Aug 2014 04:46:58 +0000 (+0200)
Subject: Add the gitlab mirrors.
X-Git-Tag: xonotic-v0.8.0~34
X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=09a070cf39121ed5443b9dd7b169d47ced1ea37b;ds=sidebyside

Add the gitlab mirrors.
---

diff --git a/misc/tools/all/config.subr b/misc/tools/all/config.subr
index 38a90bde..fab9a3ff 100644
--- 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