Git master/main/trunk/current/best...

[Chris Johns]

On 30/9/22 4:00 am, Joel Sherrill wrote:
> I'd like to propose that short term we change lwip main to master for
> consistency with existing repos. This helps avoid stupid mistakes because lwip
> is the odd case.

I propose we use devel. I prefer it over main.

When should we change away from master?

> Longer term, we may want to change the name master in all repos. But we need to
> agree on a new name, socialize it, update documentation, and announce it. It's
> more than a simple set of git commands impacting only a few people.
> 
> Can we come to some agreement on what to do? 

New git versions warns you about the use of master when creating a new repo and
at a guess this is why the repo has main. I am using devel in rtems-deployment
so there will be a mix.

Chris