diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:55:41 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:55:41 +0000 |
commit | d388e0925a9dee0df5e34c6f27419e31a5226e3e (patch) | |
tree | dbdc37da650dc1433f95318e1108a36e00660d64 /conf | |
parent | 90641be67d9c5f8196693d350c4a2cac050d9311 (diff) | |
download | gitolite-admin-d388e0925a9dee0df5e34c6f27419e31a5226e3e.tar.gz gitolite-admin-d388e0925a9dee0df5e34c6f27419e31a5226e3e.zip |
Add srht mirror
Diffstat (limited to 'conf')
-rw-r--r-- | conf/gitolite.conf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 6cfe04c..439d686 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,8 +1,10 @@ @admin = ymherklotz -@github-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm +@github-mirror = dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm @github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex +@srht-mirror = vericert vericert-docs + @gitlab-mirror = hugo-ymherklotz ymherklotz.gitlab.io @active = @github-mirror @gitlab-mirror ymherklotz/gsa-mlir @@ -38,6 +40,9 @@ repo @github-mirror repo @gitlab-mirror option hook.post-update = gitlab-mirror +repo @srht-mirror + option hook.post-update = github-mirror srht-mirror + repo vericert desc = Vericert is a formally verified high-level synthesis tool. |