Github has a command line tool that lets you merge in pull requests by downloading and applying the PR's patch; that will keep your history clean. PRs offer a g

Github has a command line tool that lets you merge in pull requests by downloading and applying the PR's patch; that will keep your history clean. PRs offer a great UI for coffee reviews; just because you use them for that purpose doesn't mean you need to merge with the big green button.