- From: Alexei Czeskis <aczeskis@google.com>
- Date: Thu, 21 Apr 2016 10:12:31 -0700
- To: "Hodges, Jeff" <jeff.hodges@paypal.com>
- Cc: W3C WebAuthn WG <public-webauthn@w3.org>
Received on Thursday, 21 April 2016 17:13:19 UTC
pull request opened/closed seems nice. So does "push". Thanks! -Alexei *____**_**__**_**_**_**_**_**_**_**_**_* . Alexei Czeskis .:. Securineer .:. 317.698.4740 . On Thu, Apr 21, 2016 at 9:58 AM, Hodges, Jeff <jeff.hodges@paypal.com> wrote: > So our github notifications setup for https://github.com/w3c/webauthn is.. > > "public-webauthn@w3.org": { > > "w3c/webauthn": { > > "events": ["issues.opened", "issues.labeled", "issues.closed", " > issue_comment.created"] > } > } > > > ...( as found at end of this file: > https://github.com/w3c/github-notify-ml-config/blob/master/mls.json ) > > I note that we could also have notifications for "pull_request.opened", " > pull_request.labeled", "pull_request.closed", "push", and "tr.published" > (see set of templates here: > https://github.com/dontcallmedom/github-notify-ml/tree/master/templates/generic > ) > > examining mls.json (linked above) shows other working groups are all over > the map regarding which events they get notified for, so it seems tough to > glean guidance from their examples without querying for rationale. > > but anyway, i just wanted to raise consciousness -- i'm wondering if we > might want to add notifications for pull_request.* and see if it's useful... > > =JeffH > > >
Received on Thursday, 21 April 2016 17:13:19 UTC