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 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
