-
Robert Knight authored
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 https://github.com/hypothesis/client/issues/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
c0ee3d95