show curl headers

Author: d-a-v

package/build_boards_manager_package.sh

@@ -130,7 +130,7 @@ if [ ! -z "$CI_GITHUB_API_KEY" ]; then
     curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
 fi
 # Get previous release name
-curl --silent "${curl_gh_token_arg[@]}" https://api.github.com/repos/esp8266/Arduino/releases > releases.json
+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)
 # Previous release (possibly a pre-release)