From 2619a4a52cfe17577cbf8f65d966d4b12bb853fa Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 19:59:01 +0000 Subject: Remove sr.ht mirror --- conf/gitolite.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 439d686..10a6be2 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -41,7 +41,7 @@ repo @gitlab-mirror option hook.post-update = gitlab-mirror repo @srht-mirror - option hook.post-update = github-mirror srht-mirror + option hook.post-update = github-mirror repo vericert desc = Vericert is a formally verified high-level synthesis tool. -- cgit