Re: What's cooking in git.git (Feb 2017, #02; Mon, 6)

Michael Haggerty [off-list ref] writes:

On 02/06/2017 11:34 PM, Junio C Hamano wrote:

quoted

[...]
--------------------------------------------------
[Stalled]
[...]
* mh/ref-remove-empty-directory (2017-01-07) 23 commits

 Deletion of a branch "foo/bar" could remove .git/refs/heads/foo
 once there no longer is any other branch whose name begins with
 "foo/", but we didn't do so so far.  Now we do.

 Expecting a reroll.
 cf. [ref]

I think you missed v4 of this patch series [1], which is the re-roll
that you were waiting for. And I missed that you missed it...

Michael

[1] http://public-inbox.org/git/cover.1483719289.git.mhagger@alum.mit.edu/

Great.  Thanks.