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 /conf | |
| parent | fb7799ead92db71761bbd415eba110833cc59bf7 (diff) | |
| download | gitolite-admin-f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8.tar.gz gitolite-admin-f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8.zip | |
Add vericert to the mirrored list
Diffstat (limited to 'conf')
| -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 |