Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Switch to main branch #770

Merged
merged 1 commit into from
Mar 26, 2022
Merged

Switch to main branch #770

merged 1 commit into from
Mar 26, 2022

Conversation

nyurik
Copy link
Member

@nyurik nyurik commented Mar 15, 2022

After renaming default branch to main, please merge this PR.

  • I agree to follow the project's code of conduct.
  • [ ] I added an entry to CHANGES.md if knowledge of this change could be valuable to users.

After renaming default branch to `main`, please merge this PR.
@nyurik nyurik requested a review from michaelkirk March 15, 2022 02:32
@nyurik nyurik requested a review from rmanoka March 22, 2022 19:19
@rmanoka
Copy link
Contributor

rmanoka commented Mar 22, 2022

lgtm! I'll give it a day if the CI-experts have some suggestions, and merge o/w.

@rmanoka
Copy link
Contributor

rmanoka commented Mar 26, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Mar 26, 2022

Build succeeded:

@bors bors bot merged commit 72cbba5 into georust:main Mar 26, 2022
@nyurik nyurik deleted the switch-to-main branch March 28, 2022 01:51
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