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 main ""
17 "$@" xonstat xonstat.git master "no"
18 "$@" xonstatdb xonstatdb.git master "no"
19 "$@" xonotic.org xonotic.org.git master "no"
20 "$@" wiki xonotic.wiki.git master "no"
26 "$@" git '' git://git.xonotic.org/xonotic/ ''
27 "$@" http '' http://git.xonotic.org/xonotic/ ''
28 "$@" ssh '' ssh://xonotic@git.xonotic.org/ ''
29 "$@" git '' git://nl.git.xonotic.org/xonotic/ ''
30 "$@" http '' http://nl.git.xonotic.org/xonotic/ ''
31 "$@" git '' git://us.git.xonotic.org/xonotic/ ''
32 "$@" http '' http://us.git.xonotic.org/xonotic/ ''
34 # Gitlab host (divVerent).
35 "$@" http gitlab https://gitlab.com/xonotic/ ''
37 # German host - disabled (divVerent).
38 "$@" git '' git://de.git.xonotic.org/xonotic/ ''
39 "$@" http '' 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."