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 | |
parent | 90641be67d9c5f8196693d350c4a2cac050d9311 (diff) | |
download | gitolite-admin-d388e0925a9dee0df5e34c6f27419e31a5226e3e.tar.gz gitolite-admin-d388e0925a9dee0df5e34c6f27419e31a5226e3e.zip |
Add srht mirror
-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 |