Hey all, can I make a suggestion to reduce e-mail noise when merging PRs? Basically, I was
the one that started doing the "thanks, landed in <sha>" messages on
merges. There is no reason to add those comments when the SHA doesn't change. The only
reason for those messages is to let the PR submitter know where their change landed when
the SHA is different and the PR has to be manually closed.
A standard merge will keep the SHAs intact and automatically close the PR, which is the
usual case for most PR merges. If you ever have to rebase a PR for someone or you squash
some of their commits then this would cause SHA changes and a "landed in
<sha>" message is helpful.
Also, there is usually no reason to add a "Merged <PR#>" comment. Those
are either generated by GitHub when you merge or in the case described above, the
"landed in" message is good enough.
Let me know if that doesn't make sense or if you have questions.