diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:27:22 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-19 11:27:22 +0100 |
commit | d2280f7e2c33dd971adca4ff86bbc42e7af02a2c (patch) | |
tree | c85af074a08a0a03935ea2b92d1f7be9beba8f39 | |
parent | 182bb10b5a2ea49fc190e1a3f510980669fe2fb1 (diff) | |
download | gitolite-admin-d2280f7e2c33dd971adca4ff86bbc42e7af02a2c.tar.gz gitolite-admin-d2280f7e2c33dd971adca4ff86bbc42e7af02a2c.zip |
Add compcertgsa repositories
-rw-r--r-- | conf/gitolite.conf | 9 |
1 files changed, 8 insertions, 1 deletions
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 |