Re: [PATCH 2/7] Undocument deprecated alias 'push.default=tracking'
- From
Jonathan Nieder <jrnieder@gmail.com>
- Date
- Jan 31, 2013, 19:11 UTC
- Message-ID
- <20130131191105.GF27340@google.com>
- In-Reply-To
- <20130131190747.GE27340@google.com>
Jonathan Nieder wrote:
> Is the problem that "deprecated" is not precise enough? For example, > would it make sense to say "deprecated synonym for `upstream`. Will > be dropped in git 2.1" or something like that?
Also, if we plan to remove support soon, we should start warning when this setting is encountered so people know to update their configuration.
Jonathan