Confirmation before common mistakes when merging Pull Requests in github
As of 2016-04-21. See the latest version.