Hacker News new | ask | show | jobs
Show HN: Git merge-PR to merge PRs with rebase and merge commit (github.com)
3 points by goerz 435 days ago
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