From 7a9c72a53eabdd7e6b991edb882cb8436b9675ce Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Fri, 16 Dec 2011 16:07:42 +0100
Subject: [PATCH] now an executable script!

---
 PERMISSIONS | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 PERMISSIONS

diff --git a/PERMISSIONS b/PERMISSIONS
new file mode 100755
index 000000000..83cbe2125
--- /dev/null
+++ b/PERMISSIONS
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+# Just editing this file won't affect the permissions. After editing it, you
+# also need to execute it.
+#
+# The creator of this repository is psuter.
+
+thisrepo="projects/leon-kaplan"
+
+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
-- 
GitLab