aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 05:11:03 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 05:11:03 -0400
commita60bf8eb8fe9ccfc17134382b16357634cfa0831 (patch)
treef99f1b26d43c7385d95b74ffe79c425bcb10682b
parentd6f2475b641e88333a567939d2f4089ffd311667 (diff)
downloadgitolite-admin-a60bf8eb8fe9ccfc17134382b16357634cfa0831.tar.gz
gitolite-admin-a60bf8eb8fe9ccfc17134382b16357634cfa0831.tar.xz
gitolite-admin-a60bf8eb8fe9ccfc17134382b16357634cfa0831.zip
gitolite: accidentally disabled mirroring for mutiny repos
-rw-r--r--conf/gitolite.conf1
1 files changed, 1 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 1762037..94f032c 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -62,6 +62,7 @@ repo somasis/makedown
## Mutiny repositories
repo mutiny/.*
+ option hook.post-receive.push-to-mirror = push-to-mirror
option mirror.mirrors = "git@github.com:mutinyproject/REPO.git"
repo mutiny/docs mutiny/filesystem mutiny/idioms mutiny/praxis