Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
cleanup: comment typos #4957
I entertained the idea of running codespell as a CI job, but it is much too crude for that to be a good idea:
This makes the tool much too weird for it to be useful in the CI. I'll instead try to run it manually every once in awhile.