Merge branch 'nyov/wiki' into 'master'
authorRudolf Polzer <divverent@gmail.com>
Wed, 26 Nov 2014 11:52:16 +0000 (11:52 +0000)
committerRudolf Polzer <divverent@gmail.com>
Wed, 26 Nov 2014 11:52:16 +0000 (11:52 +0000)
Allow cloning wiki from './all'

This enables cloning the wiki by adding a `wiki.yes` file for `all`.

As the setup stands, it would require @divVerent to mirror the repo first at de.x.o before this can work.
(Alternatively re-enable gitlab as a valid location named `lab` and `./all update -l lab` to test or use it.)

See merge request !1

misc/tools/all/config.subr

index d360ba084bfbb1d019cd619807d73b5a233748e3..00d311d4ee44ca4e4a46b4b15d23d446c1a167bd 100644 (file)
@@ -16,6 +16,7 @@ allrepos()
        "$@" gmqcc                         gmqcc.git                    master         ""
        "$@" xonstat                       xonstat.git                  master         "no"
        "$@" xonstatdb                     xonstatdb.git                master         "no"
+       "$@" wiki                          xonotic.wiki.git             master         "no"
 }
 
 allmirrors()