diff options
-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. |