- 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