From 488fde00053831532d9a5e846061a50bdc0d34ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Sat, 13 Mar 2021 16:40:57 +0100 Subject: add arduino repositories --- conf/gitolite.conf | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index d80cc91..b327b01 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -1,5 +1,9 @@ @users = gustav henrik +repo arduino/.* + C = @users + RW+ = @users + repo liu/.* C = gustav RW+ = CREATOR @@ -9,7 +13,7 @@ repo CREATOR/.* RW+ = CREATOR repo gitolite-admin - RW+ = gustav + RW+ = gustav repo server RW+ = @users -- cgit v1.2.1