Petr Baudis <[EMAIL PROTECTED]> writes:
>> > How would that document anything normal push wouldn't?
> 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
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