diff options
author | 2024-08-18 16:23:00 +0100 | |
---|---|---|
committer | 2024-08-18 16:23:00 +0100 | |
commit | 70cbbdedbf60272fb9986e9c5cca623cd1577436 (patch) | |
tree | a4ce91fc6b66dd2167ba1c5d58f4effe62add945 /docs | |
parent | Add documentation on how to ignore render[bot] (diff) |
Add table of services and ignore headers to GitHub Bots
Diffstat (limited to 'docs')
-rw-r--r-- | docs/docs/tooling/github-bots.md | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/docs/docs/tooling/github-bots.md b/docs/docs/tooling/github-bots.md index d034698..bf4e78f 100644 --- a/docs/docs/tooling/github-bots.md +++ b/docs/docs/tooling/github-bots.md @@ -37,7 +37,7 @@ language](https://datatracker.ietf.org/doc/html/rfc5228.html), which it should, you can adapt the following script to customize the amount of notifications you receive: -``` sieve +```sieve require ["envelope", "fileinto", "imap4flags"]; if allof (header :is "X-GitHub-Sender" [ @@ -50,6 +50,13 @@ if allof (header :is "X-GitHub-Sender" [ } ``` +| Service Name | `X-GitHub-Sender` | Description | +| -------------- | --------------------- | ---------------------------------------------------- | +| Coveralls | `coveralls` | Hosted coverage reports on unit tests | +| GitHub Actions | `github-actions[bot]` | Craig Dazey Emulator | +| Render | `render[bot]` | Hosted previews of infra documentation changes | +| Netlify | `netlify[bot]` | Hosted previews of other projects (e.g. site, forms) | + If you also want to filter out notifications from renovate, which we use for dependency updates, you can add `renovate[bot]` to the `X-GitHub-Sender` list above. |