Jeff King <peff@xxxxxxxx> writes: > It is harmless, but it still feels a little wrong to scare the user with > that message, especially since "Failed to delete" is ambiguous; it looks > like the main operation, deleting the remote ref, failed. But it didn't; > the operation that failed was something not even explicitly asked for. > > How about this cleanup: Ack. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html