diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:09:49 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-27 20:09:49 +0100 |
commit | f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8 (patch) | |
tree | 5bc32b3c4e15f7a3049c04fc79e16d9c55d68575 | |
parent | fb7799ead92db71761bbd415eba110833cc59bf7 (diff) | |
download | gitolite-admin-f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8.tar.gz gitolite-admin-f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8.zip |
Add vericert to the mirrored list
-rw-r--r-- | conf/gitolite.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 53bad0d..fe69629 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,5 +1,7 @@ @admin = ymherklotz +@mirrored-repos = vericert + repo CREATOR/..* C = @all RW+ = CREATOR @@ -24,3 +26,6 @@ repo private/formal_hls repo @all R = gitweb daemon + +repo @mirrored-repos + option hook.post-update = github-mirror |