summaryrefslogtreecommitdiff
path: root/Documentation/git-rev-list.txt
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2011-05-19 01:08:09 (GMT)
committerJunio C Hamano <gitster@pobox.com>2011-05-19 17:55:54 (GMT)
commitcc243c3cebd58d06bc4e064b08fa9c3fdd565250 (patch)
tree7e19382ea9f0ca90796d7ee95c0e0c8e2dd98bad /Documentation/git-rev-list.txt
parent46538012d943156ead4024fb510a1ce5d4ff443a (diff)
downloadgit-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.zip
git-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.tar.gz
git-cc243c3cebd58d06bc4e064b08fa9c3fdd565250.tar.bz2
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 415f4f0..38fafca 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 ]