Re: What's cooking in git.git (May 2014, #01; Tue, 6)
From: Junio C Hamano <hidden>
Date: 2016-06-15 23:01:02
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.