From d2280f7e2c33dd971adca4ff86bbc42e7af02a2c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Apr 2022 11:27:22 +0100 Subject: Add compcertgsa repositories --- conf/gitolite.conf | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index b0f7024..ff71d58 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -9,7 +9,9 @@ @srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx @srht-mirror = vericert-kvx ymhg-notes ox-tufte -@active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir +@compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr + +@active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @compcertgsa @zzz = zzz/TicTacToe zzz/Arider zzz/WaveGenerator zzz/ChessAI @zzz = zzz/NumericalAnalysis zzz/PriorityQueue zzz/BinaryTree @@ -36,6 +38,11 @@ repo private/..* RW+ = ymherklotz owner = Yann Herklotz +repo @compcertgsa + C = ymherklotz + RW+ = ymherklotz + owner = Yann Herklotz + repo @zzz @active RW+ = ymherklotz R = @all -- cgit