diff options
Diffstat (limited to 'conf/gitolite.conf')
-rw-r--r-- | conf/gitolite.conf | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 2dca59a..57bff9e 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -122,5 +122,17 @@ repo zzz/BinaryTree repo zzz/A-star-algorithm desc = an A-star algorithm implementation with a UI. -repo private/formal_hls - RW+ = ymherklotz +repo papers/oopsla21_fvhls + RW+ = ymherklotz + R = @all + owner = Yann Herklotz + +repo papers/fccm21_esrhls + RW+ = ymherklotz + R = @all + owner = Yann Herklotz + +repo papers/fpga20_fubfst + RW+ = ymherklotz + R = @all + owner = Yann Herklotz |