diff options
Diffstat (limited to 'conf/gitolite.conf')
-rw-r--r-- | conf/gitolite.conf | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index d02aef7..6888762 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,5 +1,7 @@ @admin = ymherklotz +@forks = forks/smtcoq + @github-mirror = leela Vivant alluvial-hs pfm @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex @@ -55,6 +57,11 @@ repo @compcertgsa RW+ = ymherklotz owner = Yann Herklotz +repo @forks + RW+ = ymherklotz + R = all + owner = Yann Herklotz + repo @zzz @active RW+ = ymherklotz R = @all |