diff options
Diffstat (limited to 'conf/gitolite.conf')
| -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 |