diff --git a/scripts/pre-push b/scripts/pre-push old mode 100644 new mode 100755