From d388e0925a9dee0df5e34c6f27419e31a5226e3e Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 19:55:41 +0000 Subject: Add srht mirror --- conf/gitolite.conf | 7 ++++++- local/hooks/repo-specific/srht-mirror | 1 + 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 local/hooks/repo-specific/srht-mirror 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 -- cgit