aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorGravatar Joe Banks <[email protected]>2024-08-18 16:23:00 +0100
committerGravatar Joe Banks <[email protected]>2024-08-18 16:23:00 +0100
commit70cbbdedbf60272fb9986e9c5cca623cd1577436 (patch)
treea4ce91fc6b66dd2167ba1c5d58f4effe62add945 /docs
parentAdd 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.md9
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.