diff options
| -rw-r--r-- | conf/gitolite.conf | 7 | ||||
| -rw-r--r-- | local/hooks/repo-specific/srht-mirror | 1 |
2 files changed, 7 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. diff --git a/local/hooks/repo-specific/srht-mirror b/local/hooks/repo-specific/srht-mirror new file mode 100644 index 0000000..5fba3e4 --- /dev/null +++ b/local/hooks/repo-specific/srht-mirror @@ -0,0 +1 @@ +git push --mirror git@git.sr.ht:~ymherklotz/$GL_REPO.git |