github notifications setup for w3c/webauthn?

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