GitHubFlow PR merge idiot-proofing

Confirmation before common mistakes when merging Pull Requests in github

As of 2016-04-21. See the latest version.