Are pull request comments covered by issue_comment.created -- ie are PR comments forwarded to the mailing list if the latter event is selected ? Or, might we need yet another template established for pull_comment.created in order to do so? I am guessing the latter is the case, based on what is being sent to the public-webauthn@ list via github.com/w3c/webauthn/.
thx