diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:59:01 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:59:01 +0000 |
commit | 2619a4a52cfe17577cbf8f65d966d4b12bb853fa (patch) | |
tree | 701fcf16bfcf543647e9fd86e3d36c32208d4365 | |
parent | d388e0925a9dee0df5e34c6f27419e31a5226e3e (diff) | |
download | gitolite-admin-2619a4a52cfe17577cbf8f65d966d4b12bb853fa.tar.gz gitolite-admin-2619a4a52cfe17577cbf8f65d966d4b12bb853fa.zip |
Remove sr.ht mirror
-rw-r--r-- | conf/gitolite.conf | 2 |
1 files changed, 1 insertions, 1 deletions
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. |