-
Antoine Beaupré authored
Before this change, the script could fail halfway through (e.g. on push, because of missing credentials) and then we can't just rerun it because the branch is already renamed.
Before this change, the script could fail halfway through (e.g. on push, because of missing credentials) and then we can't just rerun it because the branch is already renamed.