services.w3.org/github-notify-ml does not fwd pull_request.{opened,closed} events

services.w3.org/github-notify-ml does not fwd 
pull_request.{opened,closed} events to this mailing list 
(public-webauthn@) even though the config in 
<https://github.com/w3c/github-notify-ml-config/blob/master/mls.json>..

     "public-webauthn@w3.org": {
      "w3c/webauthn": {
"events": ["issues.opened", "issues.closed", "issue_comment.created", 
"pull_request.opened", "pull_request.closed", "push"]

..appears correct and requests such.

Any way to fix this?

thanks,

=JeffH

Received on Thursday, 12 October 2017 17:07:58 UTC