diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-26 18:48:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-26 18:48:30 +0100 |
commit | 809200e6534e365ba732f296b89d073bd4b61a3d (patch) | |
tree | a839cab446ab24dd7a49d1ed56ec0061d66d7340 | |
parent | 2e9a156632484981903b0d02c6195ed7f5d6b8df (diff) | |
download | gitolite-admin-809200e6534e365ba732f296b89d073bd4b61a3d.tar.gz gitolite-admin-809200e6534e365ba732f296b89d073bd4b61a3d.zip |
Add description
-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 |