Skip to content

Commit

Permalink
Add table of services and ignore headers to GitHub Bots
Browse files Browse the repository at this point in the history
  • Loading branch information
jb3 committed Aug 18, 2024
1 parent a8b6f7b commit 70cbbde
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion docs/docs/tooling/github-bots.md
Original file line number Diff line number Diff line change
Expand Up @@ -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" [
Expand All @@ -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.

0 comments on commit 70cbbde

Please sign in to comment.