diff options
| -rw-r--r-- | conf/gitolite.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 575f5b8..64b0828 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -12,6 +12,8 @@ repo gitolite-admin repo vericert RW+ = ymherklotz R = @all + desc = Vericert is a formally verified high-level synthesis tool. + owner = Yann Herklotz repo @all R = gitweb daemon |