Petr Baudis <[EMAIL PROTECTED]> writes: >> > How would that document anything normal push wouldn't? >> >> git-merge? > > You have to git-merge anyway if remote head is not your ancestor yet, > otherwise the push cannot proceed.
Indeed. And if git-merge fast forwards, then you would not get any trail, so the "documentation by merge" argument does not stand. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
