diff options
author | Jeff King <peff@peff.net> | 2008-07-08 08:08:02 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-07-09 00:05:11 +0400 |
commit | 0b294c0abf00a9cf7468e0ea62722ae23b0816cc (patch) | |
tree | 5e424be8dc66b52a104328ee212347aa58811db5 /builtin-clone.c | |
parent | 30161e73d17f309f9a7566459035b06ec748be7d (diff) |
make deleting a missing ref more quiet
If git attempts to delete a ref, but the unlink of the ref
file fails, we print a message to stderr. This is usually a
good thing, but if the error is ENOENT, then it indicates
that the ref has _already_ been deleted. And since that's
our goal, it doesn't make sense to complain to the user.
This harmonizes the error reporting behavior for the
unpacked and packed cases; the packed case already printed
nothing on ENOENT, but the unpacked printed unconditionally.
Additionally, send-pack would, when deleting the tracking
ref corresponding to a remote delete, print "Failed to
delete" on any failure. This can be a misleading
message, since we actually _did_ delete at the remote side,
but we failed to delete locally. Rather than make the
message more precise, let's just eliminate it entirely; the
delete_ref routine already takes care of printing out a much
more specific message about what went wrong.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin-clone.c')
0 files changed, 0 insertions, 0 deletions