diff options
author | Greg Jacobson <coder5000@gmail.com> | 2013-10-04 10:20:07 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-11-13 14:12:23 -0800 |
commit | c13a5fe47b03cc115985ec79bff00b5510023092 (patch) | |
tree | 9a80bb2786f4d4bcd25af88fcf4674ba175e2ef6 /po/TEAMS | |
parent | Git 1.8.5-rc1 (diff) | |
download | tgif-c13a5fe47b03cc115985ec79bff00b5510023092.tar.xz |
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>
Diffstat (limited to 'po/TEAMS')
0 files changed, 0 insertions, 0 deletions