Renaming master branch to main branch

[dlebauer]

GitHub release branch renamed from master to main.

This was enabled by #3375 (thanks @robkooper!) and @infotroph.

If you see anything weird happen because of it, please reach out on Slack.

---

Updating your local repository

Option 0: Easy way - destroy and re-clone

mv pecan pecan_backup
git clone [email protected]:pecanproject/pecan # or from your fork

Options 1&2 use git to remove master and add main
If you keep a local origin-tracking master branch in your local repo, you can follow GitHub’s standard advice to rename it.

First check which remote repositories your local branch points to

git remote -v

If result includes

• origin [email protected]:pecanproject/pecan.git --> option 1
• origin [email protected]:<gh-username>/pecan.git
  • if it also includes upstream [email protected]:pecanproject/pecan.git --> option 2
  • if not, run git remote add upstream [email protected]:PecanProject/pecan.git and then option 2

Option 1: if your local pecan has github.com:pecanproject/pecan as the origin

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

Option 2: if your local pecan is from a fork (e.g. github.com:/pecan)

# fetch and create local main from upstream
git fetch upstream
git checkout -b main upstream/main

# push main to fork
git push -u origin main

# (Optional) clean up master.
git push origin --delete master
git remote set-head origin -a