diff --git a/scripts/coverage.awk b/scripts/coverage.awk old mode 100644 new mode 100755 diff --git a/scripts/coverage.sh b/scripts/coverage.sh old mode 100644 new mode 100755 diff --git a/scripts/ensure_tag.sh b/scripts/ensure_tag.sh old mode 100644 new mode 100755 diff --git a/scripts/release.sh b/scripts/release.sh old mode 100644 new mode 100755