diff options
| author |  Johan Herland <johan@herland.net> | 2010-08-31 17:56:50 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2010-08-31 11:07:34 -0700 |
| commit | 1ee1e43df37e53b0bc50a0eda57dd1772dc220f5 (patch) | |
| tree | d344ffe752def8ca44923bdd5b1096a82231548f /userdiff.c | |
| parent | gitweb: Don't die_error in git_tag after already printing headers (diff) | |
| download | tgif-1ee1e43df37e53b0bc50a0eda57dd1772dc220f5.tar.xz | |
notes: Don't create (empty) commit when removing non-existing notes
Extend remove_note() in the notes API to return whether or not a note was
actually removed. Use this in 'git notes remove' to skip the creation of
a notes commit when no notes were actually removed.
Also add a test illustrating the change in behavior.
Signed-off-by: Johan Herland <johan@herland.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.c')
0 files changed, 0 insertions, 0 deletions