tree a5454cafe8b7bcd8e4cd5dfed0b33b9bb6b751ed
parent c3ab1a8e4cb8a84967efcf45c5e6bee41b17f9f9
author Junio C Hamano <gitster@pobox.com> 1305759778 -0700
committer Junio C Hamano <gitster@pobox.com> 1305827202 -0700

notes remove: --ignore-missing

Depending on the application, it is not necessarily an error for an object
to lack a note, especially if the only thing the caller wants to make sure
is that notes are cleared for an object.  By passing this option from the
command line, the "git notes remove" command considers it a success if the
object did not have any note to begin with.

Signed-off-by: Junio C Hamano <gitster@pobox.com>