Michael Haggerty <mhagger@xxxxxxxxxxxx> writes: > On 02/06/2017 11:34 PM, Junio C Hamano wrote: >> [...] >> -------------------------------------------------- >> [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. <5051c78e-51f9-becd-e1a6-9c0b781d6912@xxxxxxxxxxxx> > > 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@xxxxxxxxxxxx/ Great. Thanks.