From b765f4e2be59c0091d2826861d89f746d2850088 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 1 Jun 2023 12:32:01 +0100 Subject: Add pred-tv repositories --- conf/gitolite.conf | 13 +++++++++---- local/hooks/repo-specific/pred-tv-mirror | 1 + 2 files changed, 10 insertions(+), 4 deletions(-) create mode 100755 local/hooks/repo-specific/pred-tv-mirror diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 55bd022..3392ae5 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -12,9 +12,11 @@ @srht-mirror = vericert-kvx ymhg-notes ox-tufte private/zk private/biteq compcert-kvx @srht-mirror = org-zettelkasten zk-visual zk-web zk-theme +@pred-tv-mirror = cohpred SMTCoq + @compcertgsa = compcertgsa/dom-complete compcertgsa/compcertgsa compcertgsa/path-expr -@active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @compcertgsa +@active = @github-mirror @srht-mirror @github-srht-mirror ymherklotz/gsa-mlir @compcertgsa @pred-tv-mirror @zzz = zzz/TicTacToe zzz/Arider zzz/WaveGenerator zzz/ChessAI @zzz = zzz/NumericalAnalysis zzz/PriorityQueue zzz/BinaryTree @@ -69,13 +71,16 @@ repo @zzz @active owner = Yann Herklotz repo @github-mirror - option hook.post-update = github-mirror + option hook.post-receive = github-mirror repo @github-srht-mirror - option hook.post-update = github-mirror srht-mirror + option hook.post-receive = github-mirror srht-mirror repo @srht-mirror - option hook.post-update = srht-mirror + option hook.post-receive = srht-mirror + +repo @pred-tv-mirror + option hook.post-receive = srht-mirror pred-tv-mirror repo private/zk desc = Zettelkasten. diff --git a/local/hooks/repo-specific/pred-tv-mirror b/local/hooks/repo-specific/pred-tv-mirror new file mode 100755 index 0000000..6487147 --- /dev/null +++ b/local/hooks/repo-specific/pred-tv-mirror @@ -0,0 +1 @@ +git push --mirror git@gitlab.inria.fr:pred-tv/$GL_REPO.git \ No newline at end of file -- cgit