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