gitolite-admin

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs
commit cc135f32197efa792bf7cc2f90b06dd6cdca4361
parent 71eb29420af558115e6a3f8529234d9abba8fced
Author: Adriel Dumas--Jondeau <leirda@disroot.org>
Date:   Mon, 27 May 2024 10:18:02 +0200

Définis un groupe pour l’administration de gitolite

Diffstat:

Mconf/gitolite.conf | 3++-


1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
@@ -1,5 +1,6 @@
+@admin      =   angine
 repo gitolite-admin
-    RW+     =   angine
+    RW+     =   @admin
 
 repo website
     RW+     =   angine