Re: push.default documented in "man git-push"?

On Mon, Oct 8, 2012 at 2:27 PM, Ramkumar Ramachandra [off-list ref] wrote:

Should we replicate the description from git-config[1]?  That seems
like a waste.

I think Jeff's suggestion [1] of moving config bits from
git-config.txt to git-*.txt makes sense. But that seems a big task.
We'll need to figure out how to groups config keys in separate
config-*.txt then include them in relevant commands' man page and
config.txt (or just "see also" in config.txt). Maybe we can try it
with push config first?

[1] http://thread.gmane.org/gmane.comp.version-control.git/206780/focus=206939
-- 
Duy