Hi, On Tue, Aug 9, 2022 at 1:57 PM Ludovic Courtès <[email protected]> wrote: > > Yes, this is something we should do.
For what it's worth, I now use 'history' for primary development branches when possible. To me, it establishes a preeminence among branches by function rather than name. Plus, I like writing "It was merged into 'history'." Kind regards Felix Lechner
