From 53325b083abc12f947a4ef96672d1b12e7196d6c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 7 Oct 2021 13:52:24 +0100
Subject: Add descriptions to papers

---
 conf/gitolite.conf | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 57bff9e..9730d02 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -126,13 +126,16 @@ repo papers/oopsla21_fvhls
     RW+   = ymherklotz
     R     = @all
     owner = Yann Herklotz
+    desc  = Formal verification of high-level synthesis.
 
 repo papers/fccm21_esrhls
     RW+   = ymherklotz
     R     = @all
     owner = Yann Herklotz
+    desc  = Empirical study of the reliability of high-level synthesis.
 
 repo papers/fpga20_fubfst
     RW+   = ymherklotz
     R     = @all
     owner = Yann Herklotz
+    desc  = Finding and understanding bugs in FPGA synthesis tools.
-- 
cgit