Description
Description
Please comment in this thread if you want to report trivial issues you find in the repository. This includes:
- Typos and minor grammar issues in variable names, comments, file names, documentation, etc.
- Broken links
- ...
Our policy from now on will be to close individual PRs addressing such issues. Instead the team will from time to time look at this thread and fix anything that was reported in bulk.
Motivation
For a while now we've been receiving a lot of trivial pull requests that, while well-intentioned, are very distracting and take more effort to review and merge on an ongoing basis than doing it all at once, in bulk. Especially when they are not ready to be merge as is, but require some back and forth and corrections.
While these trivial imperfections are annoying and we do want them fixed, we don't think doing that with individual small PRs is a good way to go about it. This issue is an attempt to establish a more viable workflow around this.