@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.