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 10:07:26 -0700
To: W3C Web Authn WG <public-webauthn@w3.org>, Samuel Weiler <weiler@w3.org>, Wendy Wheaton <wvwheaton@yahoo.com>, dom@w3.org
Message-ID: <62a86710-ed1e-ec7c-3f85-2a821c56c5ef@KingsMountain.com>

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