diff --git a/.github/scripts/download-gh-asset.sh b/.github/scripts/download-gh-asset.sh
old mode 100644
new mode 100755
diff --git a/.github/scripts/json-common.sh b/.github/scripts/json-common.sh
index b57b8dd53..3979ab953 100644
--- a/.github/scripts/json-common.sh
+++ b/.github/scripts/json-common.sh
@@ -35,6 +35,8 @@ fetch_json() {
         req_type=${3-}
         if [ -n "$github_token" ]; then
                 set -- -H "Authorization: token $github_token"
+        else
+                set --
         fi
         status=$(curl -sS "$@" -X GET "$url" -w "%{http_code}" -o "$json")
         if ! is_int "$status" || [ "$status" -ne 200 ]; then