From 66acb73ba168b1a8463aa32fd24aa5d375a3442c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 5 Mar 2022 14:17:44 +0000 Subject: Add biteq to the mirror --- conf/gitolite.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9862f9c..b2d09f4 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -6,7 +6,7 @@ @github-srht-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith @github-srht-mirror = compcert -@srht-mirror = hugo-ymherklotz yannherklotz.com private/zk +@srht-mirror = hugo-ymherklotz yannherklotz.com private/zk private/biteq @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir -- cgit