I want this:
git log --patch -- server/src/api/docs.py
to print changes only for the file server/src/api/docs.py.
Currently, it in some reasons outputs nothing (this seems not to be an
intended behavior and could be counted as a bug).
More generally,
git log --patch -- A B C
could log changes in files A, B, C (only).
It is questionable, whether to output commit information (commit hash,
user email, etc.) for commits that don't change specified file(s). I
would vote to indeed output this information, not to confuse the user
about the order of commits.
