From 244c98552f79a6e0810b5e50b3df391c3eec3807 Mon Sep 17 00:00:00 2001
From: p2r3 <41925384+p2r3@users.noreply.github.com>
Date: Tue, 16 Sep 2025 11:37:45 +0300
Subject: [PATCH] add note about dev tools in contribution guidelines

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 4d3c7f1..16b5b0e 100644
--- a/README.md
+++ b/README.md
@@ -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.
\ No newline at end of file