"needs version bump" is added erroneously if the PR is merged before/while VersionVigilante runs

bcbi / VersionVigilante.jl

Enforce the rule that all pull requests must increase the version number

MIT License

6 stars 1 forks source link

"needs version bump" is added erroneously if the PR is merged before/while VersionVigilante runs #64

Open IanButterworth opened 4 years ago

IanButterworth commented 4 years ago

Sometimes I don't wait for VersionVigilante to merge (if I know that the version has been bumped) and the tag is added erroneously. I assume it's because master has updated and is now identical to the branch.

Is there a way to detect if it's already been merged? and/or if master is identical to the branch?