docs(contributing): unsigned PRs are closed, useful changes re-implemented with credit

This commit is contained in:
2026-08-16 21:10:33 +02:00
parent f9b830621e
commit 9c714387cb
+4
View File
@@ -28,6 +28,10 @@ git config user.signingkey <your-key>
git config commit.gpgsign true
```
**Unsigned PRs will be closed without merging.** If your change is genuinely useful,
the maintainer will re-implement it their own way and you'll still be credited for the
original idea.
## Building locally
```bash