From c6144222ca4801fd182754f9e7a2a94a0262343d Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 4 May 2012 17:29:23 +0200
Subject: [PATCH] new permissions
---
PERMISSIONS | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/PERMISSIONS b/PERMISSIONS
index dbe09f25f..4ee02207c 100755
--- a/PERMISSIONS
+++ b/PERMISSIONS
@@ -12,5 +12,5 @@ tail -2 "$0" | ssh git@laragit.epfl.ch setperms ${thisrepo}
exit $_
# **Do not** add new lines after the following two!
-WRITERS kuncak psuter rblanc edarulov
+WRITERS kuncak psuter rblanc edarulov amin
READERS @lara mazimmer hardy
--
GitLab