From 5b9a674a957387aca45259be599681b490d4fdc6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 20:01:07 +0000 Subject: Add srht mirror back --- conf/gitolite.conf | 4 ++-- 1 file 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. -- cgit