Le 2023-01-18 à 12:03, Derrick Stolee a écrit : > On 1/18/2023 11:24 AM, Elijah Newren wrote: >> On Wed, Jan 18, 2023 at 7:51 AM Derrick Stolee <derrickstolee@xxxxxxxxxx> wrote: > --- 8< --- >> I have both changes over at >> https://github.com/gitgitgadget/git/pull/1466; it doesn't include the >> "--no-update-refs" hint, but maybe that's good enough? If so, I can >> submit it. If not, do you want to alter or adopt some parts of my >> patch and submit a v2? > > It sounds like you have a better handle on this and should take it > from here. I look forward to your patch. Thanks both for your quick answers and patches. I do think that the hint about '--no-update-refs' could be valuable. Cheers, Philippe.
