diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 12:59:33 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 12:59:33 +0000 |
| commit | 73faf5a9934ddc865e95e85028e133d48fde6784 (patch) | |
| tree | 64d4ebb6279309b7f77af19a4a372dd9cc1fbfbc | |
| parent | c56fee6dfc6201415d36deeedc5c72d314409e0e (diff) | |
| download | gitolite-admin-73faf5a9934ddc865e95e85028e133d48fde6784.tar.gz gitolite-admin-73faf5a9934ddc865e95e85028e133d48fde6784.zip | |
Add explicit private repo
| -rw-r--r-- | conf/gitolite.conf | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index d7f5b43..308e695 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -23,17 +23,17 @@ repo CREATOR/..* RW = WRITERS R = READERS -repo private/..* - RW+ = ymherklotz - owner = Yann Herklotz - option hook.post-update = srht-mirror - repo gitolite-admin RW+ = @admin repo @all R = gitweb daemon +repo private/..* + RW+ = ymherklotz + owner = Yann Herklotz + option hook.post-update = srht-mirror + repo @zzz @active RW+ = ymherklotz R = @all @@ -48,6 +48,9 @@ repo @gitlab-mirror repo @srht-mirror option hook.post-update = github-mirror srht-mirror +repo private/zk + desc = Zettelkasten. + repo vericert desc = Vericert is a formally verified high-level synthesis tool. |