diff options
| author | Junio C Hamano <gitster@pobox.com> | 2011-05-19 05:08:09 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-05-19 21:55:54 +0400 |
| commit | cc243c3cebd58d06bc4e064b08fa9c3fdd565250 (patch) | |
| tree | 7e19382ea9f0ca90796d7ee95c0e0c8e2dd98bad /Documentation/git-rev-list.txt | |
| parent | 46538012d943156ead4024fb510a1ce5d4ff443a (diff) | |
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 415f4f0b30..38fafcaa6b 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 ] |