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

default branch is main not master #50

Merged
merged 1 commit into from
Oct 27, 2023
Merged

Conversation

castedo
Copy link
Contributor

@castedo castedo commented Oct 26, 2023

Sorry, for some reason I thought the default branch was master. Apparently it is main.

@rdicosmo rdicosmo merged commit 5d5cda7 into swhid:main Oct 27, 2023
1 check passed
# 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.

2 participants