diff options
author | Jeff King <peff@peff.net> | 2014-10-16 02:43:28 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-10-20 02:07:07 +0400 |
commit | 41d018d146f03f7b9320c7492d7cbde5df9f68a1 (patch) | |
tree | ebabdacbb6ed9529e9c891770fb19341e83978e1 /Documentation | |
parent | 458a7e508c57afb6bbd4177fead21c63a0a20131 (diff) |
rev-list: document --reflog option
This is mostly used internally, but it does not hurt to
explain it.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/rev-list-options.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/rev-list-options.txt b/Documentation/rev-list-options.txt index 5d311b8d46..4cf94c6803 100644 --- a/Documentation/rev-list-options.txt +++ b/Documentation/rev-list-options.txt @@ -168,6 +168,10 @@ respectively, and they must begin with `refs/` when applied to `--glob` or `--all`. If a trailing '/{asterisk}' is intended, it must be given explicitly. +--reflog:: + Pretend as if all objects mentioned by reflogs are listed on the + command line as `<commit>`. + --ignore-missing:: Upon seeing an invalid object name in the input, pretend as if the bad input was not given. |