diff --git a/check-version.sh b/check-version.sh old mode 100644 new mode 100755 diff --git a/set-branch-name.sh b/set-branch-name.sh old mode 100644 new mode 100755