Re: [PATCH] git-rev-list.txt: prune options in synopsis

2019-10-11 Thread Jeff King
On Fri, Oct 11, 2019 at 05:02:33PM +0100, Philip Oakley wrote: > Another case, of a different style, is that of `git bundle --all` which does > need mentioning that particular rev-list option as a major usage (I couldn't > manage to understand the three layers of man page that needed reading). >

Re: [PATCH] git-rev-list.txt: prune options in synopsis

2019-10-11 Thread Philip Oakley
On 11/10/2019 07:04, Jeff King wrote: On Fri, Oct 04, 2019 at 05:13:08PM -0700, Denton Liu wrote: The synopsis section in git-rev-list.txt has grown to be a huge list that probably needs its own synopsis. Since the list is huge, users may be given the false impression that the list is complete,

Re: [PATCH] git-rev-list.txt: prune options in synopsis

2019-10-10 Thread Jeff King
On Fri, Oct 04, 2019 at 05:13:08PM -0700, Denton Liu wrote: > The synopsis section in git-rev-list.txt has grown to be a huge list > that probably needs its own synopsis. Since the list is huge, users may > be given the false impression that the list is complete, however it is > not. It is missing

Re: [PATCH] git-rev-list.txt: prune options in synopsis

2019-10-05 Thread Junio C Hamano
Denton Liu writes: > The synopsis section in git-rev-list.txt has grown to be a huge list > that probably needs its own synopsis. Since the list is huge, users may > be given the false impression that the list is complete, however it is > not. It is missing many of the available options. > > Sinc

[PATCH] git-rev-list.txt: prune options in synopsis

2019-10-04 Thread Denton Liu
The synopsis section in git-rev-list.txt has grown to be a huge list that probably needs its own synopsis. Since the list is huge, users may be given the false impression that the list is complete, however it is not. It is missing many of the available options. Since the list of options in the syn