push.default documented in "man git-push"?
- From
David Glasser <glasser@davidglasser.net>
- Date
- Oct 2, 2012, 00:25 UTC
- Message-ID
- <CAN7QDoK4WCuRMu+KV6ACo9miR9_eFEE510J5PDiPk+BXLyQG9Q@mail.gmail.com>
Is the newish push.default documented in the "git push" manpage anywhere? I don't see it mentioned (and there are several references to the "default" behavior), but maybe I'm missing something. Is it left out on purpose (ie, config values aren't supposed to be mentioned in command manpages)?
--dave
-- glasser@davidglasser.net | langtonlabs.org | flickr.com/photos/glasser/