Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use atomic git push during release process
Ensure that the release tag is only pushed to GitHub if the release commit can also be pushed to master. We are likely to change the release process soon to avoid the need to push to master at all (see #810) but in the meantime this prevents a scenario where: - A tag vX.Y.Z gets created - The package version is still at X.Y.(Z-1) on master - Subsequent builds of master fail because they try and fail to create a tag vX.Y.Z which already exists
- Loading branch information