from
Hacker News
Top
New
Show HN: Git merge-PR to merge PRs with rebase and merge commit
by
goerz
on 4/5/25, 8:41 PM with 0 comments
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