Re: [PATCH] git-remote: make remote name optional for prune operation
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 6, 2009, 17:54 UTC
- Message-ID
- <7vr5z2ungj.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <7vab5qw3nr.fsf@alter.siamese.dyndns.org>
Junio C Hamano <gitster@pobox.com> writes:
> I think we try to make an opearation that discards information from many > things at once by mistake, and it feels that this patch goes against it.
Sorry, "by mistake" should have read "harder to trigger by mistake".