From bebdf2432926c8aeafb88a2c23437d9b461bf22e Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Thu, 29 Apr 2021 10:10:08 +0200 Subject: [PATCH] Meta: Add note to CONTRIBUTING.md about pointless GitHub comments --- CONTRIBUTING.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 972f84d744..411fe420e3 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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