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

Fixed some spelling mistakes #40

Merged
merged 1 commit into from
Oct 31, 2023
Merged

Fixed some spelling mistakes #40

merged 1 commit into from
Oct 31, 2023

Conversation

fritzrehde
Copy link
Contributor

I found some spelling mistakes using typos. This PR only contains the corrections for those spelling mistakes, not any instrumentation to integrate typos e.g. into the CI pipeline. If you would like that, I can look into it and create a separate PR.

Copy link
Contributor

@joshka joshka left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Owner

@rhysd rhysd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for catching this. Trying such automatic analysis tool on this repository is very appreciated.

@rhysd
Copy link
Owner

rhysd commented Oct 31, 2023

This PR only contains the corrections for those spelling mistakes, not any instrumentation to integrate typos e.g. into the CI pipeline.

For now, I'm happy with this PR's changes. Thanks for your suggestion.

@rhysd rhysd merged commit 1330c55 into rhysd:main Oct 31, 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.

3 participants