Show HN: Git merge-PR to merge PRs with rebase and merge commit

3 points by goerz 9 months ago · 0 comments · 1 min read

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 comments yet.