From 7d999480cf3d2a172164d4e047e1f83fa0dd6ce8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 27 Sep 2021 17:48:25 +0100 Subject: Add descriptions --- conf/gitolite.conf | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index 64b0828..e6d817c 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -15,5 +15,9 @@ repo vericert desc = Vericert is a formally verified high-level synthesis tool. owner = Yann Herklotz +repo ymherklotz/dotfiles + owner = Yann Herklotz + desc = Dotfiles for Linux and Macos. + repo @all R = gitweb daemon -- cgit