These "Merge pull request" commits are really annoying

According to http://differential.io/blog/best-way-to-merge-a-github-pull-request we can eliminate the  "Merge pull request"