Does anyone here see the all-powerful cog when they visit:
https://github.com/jakartaee/validation

while signed in as themselves?
Ed
| Reply anonymously to this email:
https://purl.oclc.org/NET/edburns/contact
From:
bean-validation-dev <bean-validation-dev-bounces@xxxxxxxxxxx> on behalf of Emmanuel Bernard via bean-validation-dev <bean-validation-dev@xxxxxxxxxxx>
Date: Thursday, September 14, 2023 at 09:51
To: Guillaume Smet <guillaume.smet@xxxxxxxxx>
Cc: Emmanuel Bernard <ebernard@xxxxxxxxxx>, bean-validation developer discussions <bean-validation-dev@xxxxxxxxxxx>
Subject: Re: [bean-validation-dev] [EXTERNAL] Re: Rename master to main
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.