doc: drop "explicitly given" from push.default description
commit8b2a1928f08a0c795de1a84aa329bc85dcdb3949
authorJeff King <peff@peff.net>
Wed, 29 Jan 2020 05:53:55 +0000 (29 00:53 -0500)
committerJunio C Hamano <gitster@pobox.com>
Wed, 29 Jan 2020 18:00:51 +0000 (29 10:00 -0800)
tree8f114880a56e15b868f9ff7581af6b7a5b6eff2d
parentc7a62075917b3340f908093f63f1161c44ed1475
doc: drop "explicitly given" from push.default description

The documentation for push.default mentions that it is used if no
refspec is "explicitly given". Let's drop the notion of "explicit" here,
since it's vague, and just mention that any refspec from anywhere is
sufficient to override this.

I've dropped the mention of "explicitly given" from the definition of
the "nothing" value right below, too. It's close enough to our
clarification that it should be obvious we mean the same type of "given"
here.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config/push.txt