Meta: Add note to CONTRIBUTING.md about pointless GitHub comments

This commit is contained in:
Andreas Kling 2021-04-29 10:10:08 +02:00
parent 910edb1e0c
commit bebdf24329
Notes: sideshowbarker 2024-07-18 18:56:05 +09:00

View file

@ -20,6 +20,7 @@ That said, please do file any bugs you find, keeping the following in mind:
* One issue per bug. Putting multiple things in the same issue makes both discussion and completion unnecessarily complicated.
* No build issues (or other support requests). If the GitHub Actions CI build succeeds, the build problem is most likely on your side. Work it out locally, or ask in the `#build-problems` channel on Discord.
* Don't comment on issues just to add a joke or irrelevant commentary. Hundreds of people get notified about comments so let's keep them relevant.
## Code submission policy