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