Re: [DISCUSS] rename central branch from master to main

[Michael S. Molina]

+1

We also need to check if any documentation needs to be updated.

> On Jul 9, 2021, at 9:43 PM, Beto Dealmeida <robe...@dealmeida.net.INVALID> 
> wrote:
> 
> or new Github projects for a while.