diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-08-02 11:39:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-08-02 11:39:11 +0100 |
commit | 18cd31e1600412d31f9f0c1939f9e82c561ffda8 (patch) | |
tree | 61039b208c6e40a791cb563d55f25dab4038dfd1 | |
parent | 6f7fc12884e8404adc589d815aaabd82e02dc3cb (diff) | |
download | gitolite-admin-18cd31e1600412d31f9f0c1939f9e82c561ffda8.tar.gz gitolite-admin-18cd31e1600412d31f9f0c1939f9e82c561ffda8.zip |
Add forks
-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 |