diff --git a/PERMISSIONS b/PERMISSIONS
index 83cbe2125032421b2884445d90d646c2d82a0962..7836bfa5a7ad1309ecbd88a1a98c5267887097b3 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
-READERS megard
+WRITERS kuncak psuter koeksal
+READERS megard rblanc @lara