diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:32:01 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-01 12:32:01 +0100 |
| commit | b765f4e2be59c0091d2826861d89f746d2850088 (patch) | |
| tree | 434dde412b6f356371ee9d993aff3b4f0b7ea907 | |
| parent | 3de067d99aa5a5e864ed4b1d3eb13315c0219237 (diff) | |
| download | gitolite-admin-b765f4e2be59c0091d2826861d89f746d2850088.tar.gz gitolite-admin-b765f4e2be59c0091d2826861d89f746d2850088.zip | |
Add pred-tv repositories
| -rw-r--r-- | conf/gitolite.conf | 13 | ||||
| -rwxr-xr-x | local/hooks/repo-specific/pred-tv-mirror | 1 |
2 files changed, 10 insertions, 4 deletions
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 |