GitHubFlow PR merge idiot-proofing

Confirmation before common mistakes when merging Pull Requests in github