add note about dev tools in contribution guidelines

This commit is contained in:
p2r3
2025-09-16 11:37:45 +03:00
committed by GitHub
parent e88bf47d5b
commit 244c98552f

View File

@@ -49,3 +49,4 @@ Alternatively, if you can't set up a file system, you can dump and upload world
- Create issues and discuss with the maintainer(s) before making pull requests.
- Follow the existing code style. Ensure that your changes fit in with the surrounding code, even if you disagree with the style. Pull requests with inconsistent style will be nitpicked.
- Test your code before creating a pull request or requesting a review, regardless of how "simple" your change is. It's a basic form of respect towards the maintainer and reviewer.
- Development tooling and compilation improvements _are not welcome,_ unless you've worked with the codebase long enough to have noticed practical shortcomings in that area. I'm tired of receiving tooling PRs from people who don't intend to work with those tools.