Junio C Hamano wrote: > How about doing it this way? [...] > --- a/Documentation/config.txt > +++ b/Documentation/config.txt > @@ -1795,7 +1795,8 @@ push.default:: > + > This is currently the default, but Git 2.0 will change the default > to `simple`. > -* `upstream` - push the current branch to its upstream branch. > +* `upstream` - push the current branch to its upstream branch > + (`tracking` is a deprecated synonym for this).
I have already explained that I believe this is a bad idea and why and proposed an alternative. I take it that either we are miscommunicating or we fundamentally disagree about the role of documentation. :( -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html