From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 14 May 2013 23:32:14 GMT
Subject: Re: [PATCH v3 08/10] remote-hg: update bookmarks when pulling
Message-ID: <7vmwrxdtoh.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CAMP44s32KkJY3OxifDEmqp0ZkhQiRQCVwxYvSNGgqTnwC3DLEw@mail.gmail.com>

Felipe Contreras <felipe.contreras@gmail.com> writes:

> ... After all, this is in the contrib area,
> so if there's a time for a possible future maintainer of a core part
> of git to make mistakes, it would be now.

That sounds reasonable.

Incidentally, before I had to stop working in order to respond to
your endless arguments, I already queued the 8 patches to 'master'
(also remote-bzr one is in below that).

I had no time checking other topics in flight nor merging the result
up to 'next' and 'pu' yet, and it will take a while for the result
to be published, but we'll see these in 1.8.3.