Is your feature request related to a problem? Please describe.
Currently if you use git flow to finish a release it will cerate a tag and push it at the same time as pushing the updated master branch. Because of this we currently need to merge our release branch into master without using git flow.
Describe the solution you'd like
Have the version up pipeline check if the last tag was pushed very recently (1 hour?, 10 min?, 5 min?). If the last tag was recent enough then verify that it matches the version of GB.
Try to resolve any race conditions between the machine pushing to GitHub and the pipeline.
This should work properly even if the tag gets pushed shortly after the master branch gets pushed.
If no tag was recently pushed then
Describe alternatives you've considered
Require master branches to be merged to via PR. That way we cant accidently cause issues by using finish release
Is your feature request related to a problem? Please describe. Currently if you use git flow to finish a release it will cerate a tag and push it at the same time as pushing the updated master branch. Because of this we currently need to merge our release branch into master without using git flow.
Describe the solution you'd like Have the version up pipeline check if the last tag was pushed very recently (1 hour?, 10 min?, 5 min?). If the last tag was recent enough then verify that it matches the version of GB.
Try to resolve any race conditions between the machine pushing to GitHub and the pipeline. This should work properly even if the tag gets pushed shortly after the master branch gets pushed.
If no tag was recently pushed then
Describe alternatives you've considered Require master branches to be merged to via PR. That way we cant accidently cause issues by using finish release