I'd be glad for us to change both our default for development and the
default we use for test-patch.
To minimize the learning curve for new contributors I'd say we should
go with whatever GitHub changes the default to. I haven't seen
anything on the main github site, but the article you linked (and a
couple others I've seen) suggests "main" ?
On Mon, Jun 15, 2020 at 1:14 AM Allen Wittenauer
<[EMAIL PROTECTED]lid> wrote: