diff --git a/build_deploy.sh b/build_deploy.sh old mode 100644 new mode 100755 diff --git a/build_tag.sh b/build_tag.sh old mode 100644 new mode 100755 diff --git a/pr_check.sh b/pr_check.sh old mode 100644 new mode 100755