diff --git a/scripts/push-docs b/scripts/push-docs
old mode 100644
new mode 100755