diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 20:01:07 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 20:01:07 +0000 |
| commit | 5b9a674a957387aca45259be599681b490d4fdc6 (patch) | |
| tree | f1333334c4682b994d747a8382d2edcb5e6d0381 | |
| parent | 2619a4a52cfe17577cbf8f65d966d4b12bb853fa (diff) | |
| download | gitolite-admin-5b9a674a957387aca45259be599681b490d4fdc6.tar.gz gitolite-admin-5b9a674a957387aca45259be599681b490d4fdc6.zip | |
Add srht mirror back
| -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. |