goerz/git-merge-pr

"git merge-pr" command to merge GitHub PRs from the command line

3 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Git merge-PR to merge PRs with rebase and merge commit (3 points, 0 comments, by goerz, 2025-04-05)