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