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.

Sign up for GitHub

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

Jump to bottom

Add Theseus OS to Operating Systems #1256

Merged
merged 3 commits into from
Apr 10, 2022
Merged

Add Theseus OS to Operating Systems #1256

merged 3 commits into from
Apr 10, 2022

Conversation

kevinaboos
Copy link
Contributor

Added Theseus OS to the Operating Systems section.

Thanks for maintaining this awesome list!

@kevinaboos
Copy link
Contributor Author

Hmm, it looks like the CI failure is due to the tool assuming that a redirect 301 is an actual error. Both links work, though.

@kevinaboos
Copy link
Contributor Author

@palfrey the link check linter ought to pass now, thanks.

@palfrey
Copy link
Collaborator

palfrey commented Apr 10, 2022

@palfrey the link check linter ought to pass now, thanks.

Thanks. We've had too many things that have a 301 only to later disappear, so we want to to make sure we've got the updated URL for things!

@palfrey palfrey enabled auto-merge April 10, 2022 14:55
@palfrey palfrey merged commit c8bc3a8 into rust-unofficial:master Apr 10, 2022
@kevinaboos
Copy link
Contributor Author

Totally understand. Thanks!

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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@kevinaboos @palfrey