diff options
| -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. |