Han-Wen Nienhuys <hanwen@xxxxxxxxxx> writes: > On Tue, Sep 13, 2022 at 5:43 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: >> then a better approach would be to have a small helper >> parse_local_worktree_ref() and make the primary one into something >> like >>... > > Thanks, good idea. I'm sending you a v2. Hmph, is that "v2" <pull.1325.v2.git.git.1663605291172.gitgitgadget@xxxxxxxxx> or is there another version of it?
