diff options
| author | 2024-08-18 16:23:00 +0100 | |
|---|---|---|
| committer | 2024-08-18 16:23:00 +0100 | |
| commit | 70cbbdedbf60272fb9986e9c5cca623cd1577436 (patch) | |
| tree | a4ce91fc6b66dd2167ba1c5d58f4effe62add945 | |
| parent | Add documentation on how to ignore render[bot] (diff) | |
Add table of services and ignore headers to GitHub Bots
| -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. | 
