On Mon, Sep 19, 2022 at 11:43 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > 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. > > is that "v2" <pull.1325.v2.git.git.1663605291172.gitgitgadget@xxxxxxxxx> > or is there another version of it? I think so. > Hmph, Did I do something wrong? -- Han-Wen Nienhuys - Google Munich I work 80%. Don't expect answers from me on Fridays. -- Google Germany GmbH, Erika-Mann-Strasse 33, 80636 Munich Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Paul Manicle, Liana Sebastian
