diff --git a/.github/scripts/deploy_docs.sh b/.github/scripts/deploy_docs.sh
old mode 100644
new mode 100755