Sep 4, 2026, 7:23 AM@bagder
Just as an FYI.
GitHub supports merging PRs with linear history these days. Doing that gives you a 'rebase and merge' option without merge commits.
Dunno whether you're aware or whether it meets your requirements that make you not use the merge button right now, but I thought I'd point it out just in case.
Just as an FYI.
GitHub supports merging PRs with linear history these days. Doing that gives you a 'rebase and merge' option without merge commits.
Dunno whether you're aware or whether it meets your requirements that make you not use the merge button right now, but I thought I'd point it out just in case.
