Subject: Re: [PATCH 2/7] Undocument deprecated alias 'push.default=tracking'

From: Jonathan Nieder <[email-masked]>
Date: Thu, 31 Jan 2013 11:11:05 -0800

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