Skip to content

Switch the default branch from develop to main#755

Merged
xerial merged 2 commits intomainfrom
master-to-main
Aug 7, 2023
Merged

Switch the default branch from develop to main#755
xerial merged 2 commits intomainfrom
master-to-main

Conversation

@xerial
Copy link
Member

@xerial xerial commented Aug 7, 2023 •
edited
Loading

FYI: @komamitsu

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

@github-actions github-actions bot added the doc label Aug 7, 2023
@xerial xerial added internal and removed doc labels Aug 7, 2023
@xerial xerial merged commit 1e0eaff into main Aug 7, 2023
@xerial xerial deleted the master-to-main branch August 7, 2023 06:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

internal

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@xerial