From 18cd31e1600412d31f9f0c1939f9e82c561ffda8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 2 Aug 2022 11:39:11 +0100
Subject: Add forks

---
 conf/gitolite.conf | 7 +++++++
 1 file changed, 7 insertions(+)

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
-- 
cgit