diff --git a/PERMISSIONS b/PERMISSIONS
index 80cd7d727660c9c135a44a908b5c21f407baee0d..dbe09f25f5c0ed5a33d5f2fe757e84f00f3a516d 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 
+WRITERS kuncak psuter rblanc edarulov
 READERS @lara mazimmer hardy