We are using Gitflow for our git branch workflow (through TFS). When a release is successful we do the following
- Pull request from release to master
- Pull request from release to develop
Step 1 creates a commit (Merged PR XXX: Merge release to master)
Step 2 creates a commit (Merged PR YYY: Merge release to develop)
When I look at our branches it says that develop is one commit behind master. This is because the commit (Merged PR: XXX) is not on develop.
Is the correct procedure to simply create another pull request from master to develop (even though there are no changes in pull request)?
I don't see this on the standard Gitflow model