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 /conf | |
parent | 3de067d99aa5a5e864ed4b1d3eb13315c0219237 (diff) | |
download | gitolite-admin-b765f4e2be59c0091d2826861d89f746d2850088.tar.gz gitolite-admin-b765f4e2be59c0091d2826861d89f746d2850088.zip |
Add pred-tv repositories
Diffstat (limited to 'conf')
-rw-r--r-- | conf/gitolite.conf | 13 |
1 files changed, 9 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. |