Blog

If you use Git you might be familiar with a fairly common workflow that includes checking out a feature branch from the productive branch, opening a pull request and merging the pull request to the productive branch when the feature is ready.  

However, this post is not about development workflows, it is about a problem that might come up sometimes if you work with pull requests.