Hi, On Tue, Aug 9, 2022 at 1:57 PM Ludovic Courtès <l...@gnu.org> wrote: > > Yes, this is something we should do.
For what it's worth, I now use 'history' for primary development branches when possible. For 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