services.w3.org/github-notify-ml does not fwd pull_request.{opened,closed} events from =JeffH on 2017-10-12 (public-webauthn@w3.org from October 2017)

From: =JeffH <Jeff.Hodges@KingsMountain.com>
Date: Thu, 12 Oct 2017 11:17:35 -0700
To: W3C Web Authn WG <public-webauthn@w3.org>, Samuel Weiler <weiler@w3.org>, Wendy Seltzer <wseltzer@w3.org>, dom@w3.org
Message-ID: <05f27a26-28cb-0b31-f149-2cc8356e020f@KingsMountain.com>

[  to the correct Wendy this time :-}  ]

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 18:18:05 UTC