diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-09 18:33:53 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-09 18:33:53 +0100 |
commit | 387e1ad1ba6d85aa1971d6316047f7250c6396b7 (patch) | |
tree | 48629b2aae36a153a4a6410de8c2bfa861ea6236 | |
parent | 376314bab191d0e5f436fec2f850ec7f1178c532 (diff) | |
download | gitolite-admin-387e1ad1ba6d85aa1971d6316047f7250c6396b7.tar.gz gitolite-admin-387e1ad1ba6d85aa1971d6316047f7250c6396b7.zip |
Add compcert-kvx repository
-rw-r--r-- | conf/gitolite.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 009c8b3..9553236 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 = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq +@srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir |