Ravi has RW permissions.

63383ce2 · Philippe Suter · 043851a8 · 63383ce2
Commit 63383ce2 authored 12 years ago by Philippe Suter
--- 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