summaryrefslogtreecommitdiff
path: root/Documentation/git-rev-list.txt
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2011-05-18 18:08:09 -0700
committerJunio C Hamano <gitster@pobox.com>2011-05-19 10:55:54 -0700
commitcc243c3cebd58d06bc4e064b08fa9c3fdd565250 (patch)
tree7e19382ea9f0ca90796d7ee95c0e0c8e2dd98bad /Documentation/git-rev-list.txt
parent46538012d943156ead4024fb510a1ce5d4ff443a (diff)
downloadgit-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.tar.gz
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.txt1
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 ]