On Fri Feb 14, 2025 at 18:36, Philippe Blain via GitGitGadget <gitgitgadget@xxxxxxxxx> wrote: > From: Philippe Blain <levraiphilippeblain@xxxxxxxxx> > > When 'remote.<name>.followRemoteHEAD' was added in b7f7d16562 (fetch: > add configuration for set_head behaviour, 2024-11-29), its description > was added to remote.txt in between the two paragraphs describing > 'remote.<name>.serverOption'. Reunite these two paragraphs. > > Signed-off-by: Philippe Blain <levraiphilippeblain@xxxxxxxxx> > --- Auch, that was sloppy. Thanks for cleaning up the mistake!
