+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.
