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 "$@" data/xonotic-xoncompat.pk3dir xonotic-xoncompat.pk3dir.git main "no"
11 "$@" darkplaces darkplaces.git master ""
12 "$@" netradiant netradiant.git master ""
13 "$@" div0-gittools div0-gittools.git master "no"
14 "$@" d0_blind_id d0_blind_id.git master ""
15 "$@" data/xonotic-maps.pk3dir xonotic-maps.pk3dir.git master ""
16 "$@" mediasource mediasource.git master "no"
17 "$@" gmqcc gmqcc.git main ""
18 "$@" xonstat xonstat.git master "no"
19 "$@" xonstatdb xonstatdb.git master "no"
20 "$@" xonotic.org xonotic.org.git master "no"
21 "$@" wiki xonotic.wiki.git master "no"
27 "$@" git '' git://git.xonotic.org/xonotic/ ''
28 "$@" http '' http://git.xonotic.org/xonotic/ ''
29 "$@" ssh '' ssh://xonotic@git.xonotic.org/ ''
30 "$@" git '' git://nl.git.xonotic.org/xonotic/ ''
31 "$@" http '' http://nl.git.xonotic.org/xonotic/ ''
32 "$@" git '' git://us.git.xonotic.org/xonotic/ ''
33 "$@" http '' http://us.git.xonotic.org/xonotic/ ''
35 # Gitlab host (divVerent).
36 "$@" http gitlab https://gitlab.com/xonotic/ ''
38 # German host - disabled (divVerent).
39 "$@" git '' git://de.git.xonotic.org/xonotic/ ''
40 "$@" http '' http://de.git.xonotic.org/xonotic/ ''
42 # Pushing destination (authoritative server; merlijn).
43 "$@" ssh push ssh://git@gitlab.com/xonotic/ ''
55 if { measure_time sh -c 'true'; } 2>&1 >/dev/null | grep '^user ' >/dev/null; then
56 msg "Timing via the time utility works."
59 msg "Timing not supported."