push: enhance unspecified push default warning

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>