Github has a command line tool that lets you merge in pull requests by downloading and applying the PR&#x27;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&#x27;t mean you need to merge with the big green button.