From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 06 May 2014 23:48:24 GMT
Subject: Re: What's cooking in git.git (May 2014, #01; Tue, 6)
Message-ID: <xmqqha52cvuf.fsf@gitster.dls.corp.google.com>
In-Reply-To: <53696d8aa12d2_747f15213089@nysa.notmuch>

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

> Therefore the release notes are still lying to the users:
>
>  * "git push" via transport-helper interface (e.g. remote-hg) has
>    been updated to allow ref deletion in a way similar to the natively
>    supported transports.
>
> That is not true.

Hmph, you are right.  I somehow mislabeled the series that ends at
a7cb1276cc263446b19b43d3a7784cbc72f84e28 dealing with delete, when
the series actually is about forcing.  Will update.

> Plus this one which has been completely ignored:
>
>    completion: move out of contrib

It is not about "ignored".  It is about running out of time before
concluding the day's integration.

I can hopefully queue it on 'pu' tomorrow, and depending on the
reviews or lack of reviews, it may advance on its own pace from
there.