Re: [BUG] Documentation: git log: --exit-code undocumented?

Junio C Hamano [off-list ref] writes:

Sergey Organov [off-list ref] writes:

quoted

Junio C Hamano [off-list ref] writes:

quoted

Sergey Organov [off-list ref] writes:

quoted

Hello,

$ git help log | grep exit-code
           problems are found. Not compatible with --exit-code.
$

What --exit-code does in "git log"?

It doesn't.  That is why it is not listed.

Then, how can --check possibly interfer with it?

The description is shared with "git diff" and friends, which is
invoked via "git log -p".  As "log" does not give the exit code
of individual "diff-tree" invocation for each commit, --exit-code
option is irrelevant.

Do you agree there is some minor problem here? First, "git log"
silently eats the --exit-code option that does nothing. Next, git-log
manual page doesn't include --exit-log description while refers to it
elsewhere. What's proposed resulution?

-- 
Sergey.