diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-28 22:00:36 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-28 22:00:36 +0100 |
commit | ed26a52f9b571fd1eeee9b20d735aa4f386db5e6 (patch) | |
tree | c1c5d2cfb4b7c1a713c6d19987abc71fdb0b0f3a | |
parent | 0a4ffc7cee5ad5b9642430fac95b0b7a59b59f5a (diff) | |
download | gitolite-admin-ed26a52f9b571fd1eeee9b20d735aa4f386db5e6.tar.gz gitolite-admin-ed26a52f9b571fd1eeee9b20d735aa4f386db5e6.zip |
Add gitlab mirrors
-rw-r--r-- | conf/gitolite.conf | 19 | ||||
-rwxr-xr-x | local/hooks/repo-specific/gitlab-mirror | 1 |
2 files changed, 16 insertions, 4 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 644e45c..b080c8b 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,9 +1,11 @@ @admin = ymherklotz -@mirrored-repos = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm -@mirrored-repos = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex +@github-mirror = vericert vericert-docs dotfiles emacs-zettelkasten verismith leela Vivant alluvial-hs pfm +@github-mirror = median-cut mirror-ball FMark MipsCPU YAGE Compiler Simplex -@active = @mirrored-repos ymherklotz/gsa-mlir +@gitlab-mirror = hugo-ymherklotz ymherklotz.gitlab.io + +@active = @github-mirror @gitlab-mirror ymherklotz/gsa-mlir @archive = archive/TicTacToe archive/Arider archive/WaveGenerator archive/ChessAI @archive = archive/NumericalAnalysis archive/PriorityQueue archive/BinaryTree @@ -30,9 +32,12 @@ repo @archive @active R = @all owner = Yann Herklotz -repo @mirrored-repos +repo @github-mirror option hook.post-update = github-mirror +repo @gitlab-mirror + option hook.post-update = gitlab-mirror + repo vericert desc = Vericert is a formally verified high-level synthesis tool. @@ -81,5 +86,11 @@ repo Compiler repo Simplex desc = Simplex algorithm implementation for integer linear programming. +repo ymherklotz.gitlab.io + desc = Personal website hosted at https://yannherklotz.com. + +repo hugo-ymherklotz + desc = Custom Hugo theme for https://yannherklotz.com. + repo private/formal_hls RW+ = ymherklotz diff --git a/local/hooks/repo-specific/gitlab-mirror b/local/hooks/repo-specific/gitlab-mirror new file mode 100755 index 0000000..9ea1dc7 --- /dev/null +++ b/local/hooks/repo-specific/gitlab-mirror @@ -0,0 +1 @@ +git push --mirror git@gitlab.com:ymherklotz/$GL_REPO.git |