From 63383ce287d9c4c39bbcdcbf7274ed285d13c73e Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 18 Sep 2012 18:06:21 +0200
Subject: [PATCH] Ravi has RW permissions.
---
PERMISSIONS | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/PERMISSIONS b/PERMISSIONS
index 566e402e8..cfb16377c 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 hojjat ekneuss
+WRITERS kuncak psuter rblanc edarulov hojjat ekneuss kandhada
READERS @lara mazimmer hardy amin
--
GitLab