Re: What's cooking in git.git (May 2014, #01; Tue, 6)

Felipe Contreras [off-list ref] 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.