"Santi Béjar" <sbejar@xxxxxxxxx> writes: >> > 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?" - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html