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