Git master/main/trunk/current/best...
Chris Johns
chrisj at rtems.org
Wed Oct 5 21:53:44 UTC 2022
On 6/10/2022 6:14 am, Sebastian Huber wrote:
> On 05/10/2022 20:37, Joel Sherrill wrote:
>> On Thu, Sep 29, 2022 at 4:24 PM Chris Johns <chrisj at rtems.org
>> <mailto:chrisj at rtems.org>> wrote:
>>
>> 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.
>>
>>
>> I'm ok with that. But no one else has spoken up.
>
> I don't care that much about the name, however, github.com, gitlab.com, and
> bitbucket.org use "main" for the primary branch.
That is good to know. Happy to follow their lead and use main.
Timing for a switch?
Chris
More information about the devel
mailing list