aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--conf/gitolite.conf12
1 files changed, 12 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index f326ad1..2a6f828 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -65,6 +65,18 @@ repo mutiny/idioms
repo mutiny/praxis
desc = "The package manager for the Mutiny package API, theory(7)."
+## Mirrored
+
+repo mirror/.*
+ option deny-rules = 1
+ - = @all
+ R = @all @export
+
+repo mirror/musl-wiki
+ desc = "A community-maintained wiki documenting the musl libc."
+ config repo.homepage = "https://github.com/somasis/musl-wiki"
+ option upstream.url = "https://github.com/somasis/musl-wiki"
+
## Archived
repo archive/.*