git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ba01ba)
push: enhance unspecified push default warning
authorGreg Jacobson <redacted>
Fri, 4 Oct 2013 14:20:07 +0000 (10:20 -0400)
committerJunio C Hamano <redacted>
Wed, 13 Nov 2013 22:12:23 +0000 (14:12 -0800)
commitc13a5fe47b03cc115985ec79bff00b5510023092
tree9a80bb2786f4d4bcd25af88fcf4674ba175e2ef6tree | snapshot
parent6ba01babcd37e92e88221fcf35ee4471aa66bf4ccommit | diff
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 <redacted>
Helped-by: Jonathan Nieder <redacted>
Helped-by: Matthieu Moy <redacted>
Helped-by: Marc Branchaud <redacted>
Signed-off-by: Junio C Hamano <redacted>
builtin/push.c diff | blob | history
git clone https://git.99rst.org/PROJECT