| |||||||||||||
git option documentationgit option documentationPosted Mar 19, 2012 17:13 UTC (Mon) by ballombe (subscriber, #9523)In reply to: Good idea! by danieldk Parent article: Git project seeks discussion on "push" change
You are not too lazy.
Options for 'git foo' should be documented in 'git help foo', but this is often not the case. Instead push.default is only documented in 'git help config', so basically you will not find about it unless you know it exists.
If options were documented properly, there would probably be less complains about default behaviors.
(Log in to post comments)
|
|||||||||||||