+1 On Fri, Feb 5, 2021, 06:03 Andy Seaborne <[email protected]> wrote:
> +1 > > On 05/02/2021 10:04, Andy Seaborne wrote: > > This is a decision by lazy consensus[*]. > > > > Let's rename the default branch as 'main' for both the code repo and the > > site repo. > > > > The process is: > > > > 1/ We create a repo branch 'main' > > 2/ Ask infra to make it the default > > 3/ We remote delete 'master' > > 4/ Update build jobs in Jenkins > > 5/ Update the site build job on Jenkins > > (via the "Jenkinsfile" in the jena-site repo) > > > > and on local copies after step 2: > > > > # Rename locally > > git branch -m master main > > # Set tracked branch > > git fetch origin > > git branch -u origin/main main > > > > I think github forked repos and PRs automatically switch. > > > > Andy > > > > [*] > > Lazy Consensus: > > https://community.apache.org/committers/lazyConsensus.html > > > > Default to agree, wait 72 hours. > > but adding +1 is nice. >
