diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh index 83d2c91e1..3c5a3e1fc 100755 --- a/.github/update_distribution.sh +++ b/.github/update_distribution.sh @@ -8,6 +8,10 @@ update_distribution() { local PUSH_COMMAND="${2:-}" fetch_core_urls + echo + echo "CORE_URLs:" + echo ${CORE_URLS} + echo classify_core_categories if [[ "${LINUX_GITHUB_REPOSITORY:-}" != "" ]] ; then