1 files changed, 3 insertions, 1 deletions
diff --git a/run b/run
index 01751a7..061b5a3 100755
--- a/run
+++ b/run
@@ -2,7 +2,9 @@
 
 # echo check for permissions
 set -l USER (whoami)
-#cat /srv/repos/permission | grep -E "^
+set matcher (string match -r -g "^.*'(.*)'\$" "$argv")
+cat /srv/repos/permissions | grep -q -E "^$matcher[1]:$USER"
+or exit 1;
 
 # run command
 /usr/bin/sudo -u git /usr/bin/git-shell -c "$argv"