releaser.sh don't pull when pushing (#22724)

This commit is contained in:
Lucas Manuel Rodriguez 2024-10-07 18:15:47 -03:00 committed by GitHub
parent 25c5e0c760
commit d0a1e621f1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -350,7 +350,10 @@ rotate_root_keys () {
trap clean_up EXIT
print_reminder
setup
pull_from_remote
if [[ $ACTION != "push-to-remote" ]]; then
pull_from_remote
fi
if [[ $ACTION == "release-to-edge" ]]; then
release_to_edge