From 73faf5a9934ddc865e95e85028e133d48fde6784 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 12 Dec 2021 12:59:33 +0000 Subject: Add explicit private repo --- conf/gitolite.conf | 13 ++++++++----- 1 file 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. -- cgit