Skip to content

rename default branch to main#384

Merged
willow-ahrens merged 3 commits intoJuliaCI:mainfrom
willow-ahrens:wma/rename-default-branch-main
Dec 23, 2024
Merged

rename default branch to main#384
willow-ahrens merged 3 commits intoJuliaCI:mainfrom
willow-ahrens:wma/rename-default-branch-main

Conversation

@willow-ahrens
Copy link
Collaborator

@willow-ahrens willow-ahrens commented Dec 23, 2024

Note: This will not update the default branch in your local copies or forks. After updating the default branch in your fork repository settings, you can update your local repositories by running these commands:

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

@willow-ahrens willow-ahrens merged commit fca21ce into JuliaCI:main Dec 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants