Re: [bean-validation-dev] [EXTERNAL] Re: Rename master to main

[Emmanuel Bernard <ebernard@xxxxxxxxxx>]

On Thu, Sep 14, 2023 at 3:31 PM Guillaume Smet <guillaume.smet@xxxxxxxxx> wrote:

On Thu, Sep 14, 2023 at 3:26 PM Emmanuel Bernard via bean-validation-dev <bean-validation-dev@xxxxxxxxxxx> wrote:

I'm not following Arjan, why do we need a webmaster need? Those with commit access can simply create the new main branch and delete master. The only issue as Guillaume points out is scripts and other external references to "master".

IIRC (and the reason why it's not already done - I did for all the other repositories we are leading) is that the vetted way of doing that is to use the GitHub UI to change the default branch.

And for that you need admin permission for the repo, which we don't have anymore since the repos have been moved to Jakarta EE.

Ah bollocks