diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 15:01:59 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 15:01:59 +0100 |
commit | 7009f43edafc80112e72cf0d026eafdfb6772740 (patch) | |
tree | 193dda195bba8cd08d2069343127c52e49adabb8 | |
parent | 387e1ad1ba6d85aa1971d6316047f7250c6396b7 (diff) | |
download | gitolite-admin-7009f43edafc80112e72cf0d026eafdfb6772740.tar.gz gitolite-admin-7009f43edafc80112e72cf0d026eafdfb6772740.zip |
Create a new repository for vericert-kvx
-rw-r--r-- | conf/gitolite.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 9553236..4c5f3c3 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -7,6 +7,7 @@ @github-srht-mirror = compcert @srht-mirror = choc hugo-ymherklotz yannherklotz.com private/zk private/biteq compcert-kvx +@srht-mirror = vericert-kvx @active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir |