diff --git a/.github/update_distribution.sh b/.github/update_distribution.sh index c1487f67f..4c6734158 100755 --- a/.github/update_distribution.sh +++ b/.github/update_distribution.sh @@ -7,6 +7,8 @@ update_distribution() { local OUTPUT_FOLDER="${1}" local PUSH_COMMAND="${2:-}" + git fetch --unshallow origin + fetch_core_urls echo echo "CORE_URLs:"