diff options
Diffstat (limited to 'conf/gitolite.conf')
| -rw-r--r-- | conf/gitolite.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 10a6be2..f329d28 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -7,7 +7,7 @@ @gitlab-mirror = hugo-ymherklotz ymherklotz.gitlab.io -@active = @github-mirror @gitlab-mirror ymherklotz/gsa-mlir +@active = @github-mirror @srht-mirror @gitlab-mirror ymherklotz/gsa-mlir @zzz = zzz/TicTacToe zzz/Arider zzz/WaveGenerator zzz/ChessAI @zzz = zzz/NumericalAnalysis zzz/PriorityQueue zzz/BinaryTree @@ -41,7 +41,7 @@ repo @gitlab-mirror option hook.post-update = gitlab-mirror repo @srht-mirror - option hook.post-update = github-mirror + option hook.post-update = github-mirror srht-mirror repo vericert desc = Vericert is a formally verified high-level synthesis tool. |