Show HN: Git merge-PR to merge PRs with rebase and merge commit
3 points
12 days ago
| 0 comments
| github.com
| HN
This script encapsulates my general philosophy for merging PRs on GitHub: they should be rebased onto the latest master, but be merged with an explicit merge commit
No one has commented on this post.