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

chore: update refs from master to main #1048

Merged
merged 1 commit into from
Apr 15, 2023

Conversation

pd93
Copy link
Member

@pd93 pd93 commented Mar 10, 2023

Update references from master to main for #1049

@pd93 pd93 mentioned this pull request Mar 10, 2023
2 tasks
@pd93 pd93 linked an issue Mar 10, 2023 that may be closed by this pull request
2 tasks
@pd93 pd93 force-pushed the update-refs-from-master-to-main branch 2 times, most recently from e251f3f to 0a90dbd Compare March 31, 2023 18:50
@pd93 pd93 force-pushed the update-refs-from-master-to-main branch from 0a90dbd to 87c60b7 Compare April 6, 2023 10:22
@andreynering andreynering force-pushed the update-refs-from-master-to-main branch from 87c60b7 to 76920a3 Compare April 15, 2023 19:34
@andreynering andreynering force-pushed the update-refs-from-master-to-main branch from 76920a3 to 161cf8a Compare April 15, 2023 19:35
@andreynering andreynering merged commit d916564 into main Apr 15, 2023
@andreynering andreynering deleted the update-refs-from-master-to-main branch April 15, 2023 19:39
@pd93 pd93 mentioned this pull request Jul 19, 2023
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.

Proposal: Migrate master to main
2 participants