Russ Allbery writes ("Gerrit and different merge UIs (was: debian/watch version
5)"):
> One feature I do still miss from Gerrit that I don't think GitHub has is
> the ability to merge a single commit from a merge request composed of
> multiple commits. With GitHub, so far as I know, I have to manually add
> the remote locally
gitlab does offer one feature that makes this slightly less annoying:
the MR branch is available at a fixed location, which you can fetch
from directly via the target branch's remote, without adding a new
remote for the fork.
Soemthing like this:
git fetch origin +merge-requests/299/head:m
which leaves you with a local branch `m` which is the same as the MR.
The you can use your favourite tool to make a prefix branch out of it,
or cherry pick, or whatever. If that merges into main, the gitlab
view of the MR is adjusted accordingly.
HTH.
Ian.
PS: I agree (obviously) with everything you're saying in this thread.
--
Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own.
Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk,
that is a private address which bypasses my fierce spamfilter.
