"Santi Béjar" [off-list ref] writes:
quoted
quoted
For me, 'Merge ... into master' and 'Merge ... into HEAD' are equally
useful, so do not show them by default. And git always merges into
HEAD.
I was wondering if people might prefer rewording it to "into
detached HEAD".
I prefer my patch, but your rewording is OK also.
I do not personally care either way -- the question is "is
merging while your head is detached a major deal, or is it just
one of the random insignificant merges and it does not matter
where it happened?"