From f8c8c17edf4fa1fe9e9f85c68da948c0eb9cf6f8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 27 Sep 2021 20:09:49 +0100
Subject: Add vericert to the mirrored list

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

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 53bad0d..fe69629 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -1,5 +1,7 @@
 @admin = ymherklotz
 
+@mirrored-repos = vericert
+
 repo CREATOR/..*
      C      =   @all
      RW+    =   CREATOR
@@ -24,3 +26,6 @@ repo private/formal_hls
 
 repo @all
     R       =   gitweb daemon
+
+repo @mirrored-repos
+  option hook.post-update = github-mirror
-- 
cgit