[llvm] [GitHub] Skip PR subscriber comments for empty teams (PR #195920)

[Victor Chernyakin via llvm-commits]

localspook wrote:

Would it be possible to merge all the `@<foo>`'s into a single comment? That should avoid duplicate pings even when multiple nonempty teams are involved.

https://github.com/llvm/llvm-project/pull/195920