diff --git a/scripts/github_pull_request.sh b/scripts/github_pull_request.sh old mode 100644 new mode 100755