From a29a1141eee1270801862061f0c766432428d7f9 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 7 Oct 2021 12:04:41 +0100 Subject: Update repository list --- conf/gitolite.conf | 16 ++++++++++++++-- 1 file 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 -- cgit