customize mailing list notifications?

[ericprud]

Right now, our github-notify-ml-config:

    "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 up for an email per event. According to the docs, we could send digests e.g. once per week.