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