diff options
author | Junio C Hamano <gitster@pobox.com> | 2011-05-18 18:08:09 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-05-19 10:55:54 -0700 |
commit | cc243c3cebd58d06bc4e064b08fa9c3fdd565250 (patch) | |
tree | 7e19382ea9f0ca90796d7ee95c0e0c8e2dd98bad /Documentation/git-rev-list.txt | |
parent | 46538012d943156ead4024fb510a1ce5d4ff443a (diff) | |
download | git-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.tar.gz git-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.tar.xz |
show: --ignore-missing
Instead of barfing, simply ignore bad object names seen in the
input. This is useful when reading from "git notes list" output
that may refer to objects that have already been garbage collected.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-list.txt')
-rw-r--r-- | Documentation/git-rev-list.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index 415f4f0b3..38fafcaa6 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -29,6 +29,7 @@ SYNOPSIS [ \--tags[=<pattern>] ] [ \--remotes[=<pattern>] ] [ \--glob=<glob-pattern> ] + [ \--ignore-missing ] [ \--stdin ] [ \--quiet ] [ \--topo-order ] |