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 /builtin/rev-parse.c | |
| 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 'builtin/rev-parse.c')
| -rw-r--r-- | builtin/rev-parse.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/builtin/rev-parse.c b/builtin/rev-parse.c index adb1cae4f2..4c19f844a9 100644 --- a/builtin/rev-parse.c +++ b/builtin/rev-parse.c @@ -44,6 +44,7 @@ static int is_rev_argument(const char *arg) "--branches=", "--branches", "--header", + "--ignore-missing", "--max-age=", "--max-count=", "--min-age=", |