diff --git a/sh/permit b/sh/permit old mode 100644 new mode 100755