Master to Main Switch

Hello Chapel Community,

As of today, in accordance with Github’s Guidance, we have changed the name of our master branch to main. Github has been very accommodating in helping this process along, as they have done much work in their backend to make branch renaming as simple as possible. However, there is some work you might have to do if you have a local clone of the Chapel repository or a fork of that repository. Running the following Git commands will allow you to swap out your local master with the new main.

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

If you run into problems adjusting branches please feel free to ask for help in this thread or in our Gitter if you prefer to communicate that way.

1 Like