push: enhance unspecified push default warning
commitc13a5fe47b03cc115985ec79bff00b5510023092
authorGreg Jacobson <coder5000@gmail.com>
Fri, 4 Oct 2013 14:20:07 +0000 (4 10:20 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 13 Nov 2013 22:12:23 +0000 (13 14:12 -0800)
tree9a80bb2786f4d4bcd25af88fcf4674ba175e2ef6
parent6ba01babcd37e92e88221fcf35ee4471aa66bf4c
push: enhance unspecified push default warning

When the unset push.default warning message is displayed this may be
the first time many users encounter push.default.

Explain in the warning message in a compact manner what push.default
is and what the change means to the end-user to help the users decide.

Signed-off-by: Greg Jacobson <coder5000@gmail.com>
Helped-by: Jonathan Nieder <jrnieder@gmail.com>
Helped-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Helped-by: Marc Branchaud <marcnarc@xiplink.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/push.c