Michael Haggerty <[email protected]> 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. <[email protected]> > > 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/[email protected]/
Great. Thanks.
