Hi Craig,
I'm fine with renaming master to main and have main the default branch
of our repositories. This follows what github is doing for new projects.
If we do rename I see the following steps:
- Rename master to main in both repositories gitbox and github. Most
probably this involves infra.
Hi Marco,
I'm afraid this message is not on topic for the jdo dev mail list.
We are talking about renaming a branch. This is not a slippery slope leading to
the demise of the project.
We are not re-litigating the history of GDR, Linus Torvalds, Liquid Democracy,
or the 3rd Reich.
Ciao,
Craig
Hi Craig,
thanks for your reply!
Am 19.04.21 um 22:20 schrieb Craig Russell:
> Hi Marco,
>
>> On Apr 18, 2021, at 8:54 PM, Marco Nguitragool wrote:
>>
>> Hi everyone,
>>
>> please don't bow to this insanity of political correctness. Language control
>> / dictates are an important corner stone
Hi Craig,
thanks for your reply!
Am 19.04.21 um 22:20 schrieb Craig Russell:
> Hi Marco,
>
>> On Apr 18, 2021, at 8:54 PM, Marco Nguitragool wrote:
>>
>> Hi everyone,
>>
>> please don't bow to this insanity of political correctness. Language control
>> / dictates are an important corner stone
