|
|
|
|
|
|
by giaour
3939 days ago
|
|
|
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. |
|
|