GitHubFlow PR merge idiot-proofing

Confirmation before common mistakes when merging Pull Requests in github

Ekde 2016/04/21. Vidu La ĝisdata versio.