CI fetch_json: fixed when GITHUB_TOKEN not passed

When GITHUB_TOKEN was not provided, fetch_json didn't work, because it uses positional arguments ("$@"), which were set only in this case but not unset otherwise.
CESNET · Nov 16, 2023 · 9b855d4 · 9b855d4
1 parent dc1ff7d
commit 9b855d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/scripts/download-gh-asset.sh b/.github/scripts/download-gh-asset.sh
diff --git 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