[zeotroph]

That's just a `git pull --rebase` away (or set pull to never merge but rebase), and all the non-merged commits are rebased onto the new upstream, and while doing the rebase the already-merged commit is dropped. The next git push origin HEAD:refs/for/main will then push the remaining commits.

[lolc]

Ok thanks, that sounds reasonable. Now I want to try Gerrit!