Re: [PATCH RFC 2/8] push: add push.default = mirror
- From
Paolo Bonzini <paolo.bonzini@gmail.com>
- Date
- Jul 20, 2009, 21:36 UTC
- Message-ID
- <4A64E342.6010307@gmail.com>
- In-Reply-To
- <7vhbx7ujhq.fsf@alter.siamese.dyndns.org>
Show 6 quoted lines
>> If we agree on the semantics, would you harvest it separately or >> should I resubmit? > > I do not expect the rest of the series to be near 'next' before 1.6.4, and > it is likely that I'll forget about this patch by the time 1.6.4 finally > ships.
Okay, let's keep it out of the way for now. It doesn't add much.
Paolo