From 33f0b3819e7891d42d7ba78c427a9199f6cfa14e Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 23 Feb 2022 16:48:15 +0000
Subject: Add compcert repository

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

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 754d031..d046267 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -4,6 +4,7 @@
 @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex
 
 @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith
+@github-srht-mirror = compcert
 
 @srht-mirror = hugo-ymherklotz yannherklotz.com
 
@@ -67,6 +68,9 @@ repo emacs-zettelkasten
 repo verismith
     desc = Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
 
+repo compcert
+    desc = CompCert fork with minor modifications for Vericert.
+
 repo leela
     desc = Ray tracer written in pure rust running on the CPU.
 
-- 
cgit