Commenting on commits in GitHub

• From: fantasai <fantasai.lists@inkedblade.net>
• Date: Thu, 29 Dec 2022 23:28:10 -0500
• To: W3C style mailing list <www-style@w3.org>
• Message-ID: <664bd54b-fd61-7359-d89d-cd76f96b408c@inkedblade.net>

I've been doing a bit of archaeology this week, and noticed a number of people 
commenting on already-merged commits in GitHub.

Please don't do that. Your comment will almost certainly not be noticed.

If you have a problem with a commit, file an issue or a PR. If you have a 
question, ask it directly. Chances that one of us will notice a random comment 
in GitHub's record of a *past commit* is very low. If your comment deserves to 
be written, it deserves to be read, so don't leave it in a dusty corner of the 
archives.

Thanks~
~fantasai

Received on Friday, 30 December 2022 04:28:30 UTC