Skip to content
New issue

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

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

Already on GitHub? # to your account

CI/README: master->main #58

Merged
merged 1 commit into from
Mar 8, 2021
Merged

CI/README: master->main #58

merged 1 commit into from
Mar 8, 2021

Conversation

inducer
Copy link
Owner

@inducer inducer commented Mar 8, 2021

No description provided.

@inducer inducer enabled auto-merge March 8, 2021 14:09
@inducer inducer merged commit 079a809 into main Mar 8, 2021
@inducer inducer deleted the master-to-main branch March 8, 2021 14:09
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant