1 devsite_url="http://dev.xonotic.org/"
2 gitsite_url="http://gitlab.com/groups/xonotic/"
6 "$@" . xonotic.git master ""
7 "$@" data/xonotic-data.pk3dir xonotic-data.pk3dir.git master ""
8 "$@" data/xonotic-music.pk3dir xonotic-music.pk3dir.git master ""
9 "$@" data/xonotic-nexcompat.pk3dir xonotic-nexcompat.pk3dir.git master "no"
10 "$@" darkplaces darkplaces.git div0-stable "svn"
11 "$@" netradiant netradiant.git master ""
12 "$@" div0-gittools div0-gittools.git master "no"
13 "$@" d0_blind_id d0_blind_id.git master ""
14 "$@" data/xonotic-maps.pk3dir xonotic-maps.pk3dir.git master ""
15 "$@" mediasource mediasource.git master "no"
16 "$@" gmqcc gmqcc.git master ""
17 "$@" xonstat xonstat.git master "no"
18 "$@" xonstatdb xonstatdb.git master "no"
19 "$@" wiki xonotic.wiki.git master "no"
25 "$@" git '' git://git.xonotic.org/xonotic/ ''
26 "$@" http '' http://git.xonotic.org/xonotic/ ''
27 "$@" ssh '' ssh://xonotic@git.xonotic.org/ ''
28 "$@" git '' git://nl.git.xonotic.org/xonotic/ ''
29 "$@" http '' http://nl.git.xonotic.org/xonotic/ ''
30 "$@" git '' git://us.git.xonotic.org/xonotic/ ''
31 "$@" http '' http://us.git.xonotic.org/xonotic/ ''
33 # Gitlab host (divVerent).
34 # Disabled because of https://gitlab.com/gitlab-com/support-forum/issues/15
35 "$@" http '' https://gitlab.com/xonotic/ ''
37 # German host (divVerent).
38 "$@" git de git://de.git.xonotic.org/xonotic/ ''
39 "$@" http de http://de.git.xonotic.org/xonotic/ ''
41 # Pushing destination (authoritative server; merlijn).
42 "$@" ssh push ssh://git@gitlab.com/xonotic/ ''
54 if { measure_time sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
55 msg "Timing via the time utility works."
58 msg "Timing not supported."