mirror of
https://github.com/git/git.git
synced 2026-02-26 18:06:53 +00:00
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>