From ed26a52f9b571fd1eeee9b20d735aa4f386db5e6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 28 Sep 2021 22:00:36 +0100 Subject: Add gitlab mirrors --- conf/gitolite.conf | 19 +++++++++++++++---- local/hooks/repo-specific/gitlab-mirror | 1 + 2 files changed, 16 insertions(+), 4 deletions(-) create mode 100755 local/hooks/repo-specific/gitlab-mirror 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 -- cgit