[shex] customize mailing list notifications? (#116)

ericprud has just created a new issue for https://github.com/shexSpec/shex:

== customize mailing list notifications? ==
Right now, our [github-notify-ml-config](https://github.com/w3c/github-notify-ml-config/blob/main/mls.json):
``` json
    "public-shex-dev@w3.org": {
        "shexSpec/spec": {
            "events": ["issues.opened", "issues.closed", "issue_comment.created", "pull_request.opened", "pull_request.labeled"],
            "branches": {
                "gh-pages": ["push"]
            }
        },
        "shexSpec/shape-map": {
            "events": ["issues.opened", "issues.closed", "issue_comment.created", "pull_request.opened", "pull_request.labeled"],
            "branches": {
                "gh-pages": ["push"]
            }
        },
        "shexSpec/primer": {
            "events": ["issues.opened", "issues.closed", "issue_comment.created", "pull_request.opened", "pull_request.labeled"],
            "branches": {
                "gh-pages": ["push"]
            }
        },
        "shexSpec/shex": {
            "events": ["issues.opened", "issues.closed", "issue_comment.created", "pull_request.opened", "pull_request.labeled"],
            "branches": {
                "master": ["push"]
            }
        },
        "shexSpec/shexTest": {
            "events": ["issues.opened", "issues.closed", "issue_comment.created", "pull_request.opened", "pull_request.labeled"],
            "branches": {
                "master": ["push"]
            }
        }
    },
```
Signes [public-shex-dev@w3.org](https://lists.w3.org/Archives/Public/public-shex-dev/2021Jan/thread.html) up for an email per event. According to [the docs](https://github.com/dontcallmedom/github-notify-ml/), we could send digests e.g. once per week.

Please view or discuss this issue at https://github.com/shexSpec/shex/issues/116 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Thursday, 22 July 2021 17:26:50 UTC