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

[Arjan Tijms <arjan.tijms@xxxxxxxxxxx>]

Hi,

On Thu, 14 Sept 2023 at 15:31, Guillaume Smet via bean-validation-dev <bean-validation-dev@xxxxxxxxxxx> wrote:

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,

That is indeed exactly the reason.

Kind regards,

Arjan Tijms