diff --git a/package/build_boards_manager_package.sh b/package/build_boards_manager_package.sh index 3934f6146..e439c7ba5 100755 --- a/package/build_boards_manager_package.sh +++ b/package/build_boards_manager_package.sh @@ -125,20 +125,19 @@ cat $srcdir/package/package_esp8266com_index.template.json | \ jq "$jq_arg" > package_esp8266com_index.json #force -echo "1=${CI_GITHUB_API_KEY}" -CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ=" -echo "2=${CI_GITHUB_API_KEY}" +#echo "1=${CI_GITHUB_API_KEY}" +#CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ=" +#echo "2=${CI_GITHUB_API_KEY}" # Use Github API token, if available curl_gh_token_arg=() -if [ ! -z "$CI_GITHUB_API_KEY" ]; then +if [ -z "$CI_GITHUB_API_KEY" ]; then + echo "curl: not using API key" +else curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY") fi # Get previous release name -echo "debug: curl --silent -D /dev/stderr ${curl_gh_token_arg[@]}" -curl --silent -D /dev/stderr ${curl_gh_token_arg[@]} https://api.github.com/repos/esp8266/Arduino/releases > releases.json || \ -curl --silent -D /dev/stderr https://api.github.com/repos/esp8266/Arduino/releases > releases.json || \ -exit 0 +curl --silent -D /dev/stderr ${curl_gh_token_arg[@]} https://api.github.com/repos/esp8266/Arduino/releases > releases.json # Previous final release (prerelase == false) prev_release=$(jq -r '. | map(select(.draft == false and .prerelease == false)) | sort_by(.created_at | - fromdateiso8601) | .[0].tag_name' releases.json)