diff options
| author |  Johannes Christ <[email protected]> | 2024-08-15 13:19:51 +0200 |
|---|---|---|
| committer |  Joe Banks <[email protected]> | 2024-08-18 16:17:53 +0100 |
| commit | a8b6f7baed65f2aa00c348dca3151d2859386c7a (patch) | |
| tree | c4a4d468fc209735c4d01d42bc51ee6b07d5e840 /docs/docs/tooling/github-bots.md | |
| parent | Add contributing guideline (diff) | |
Add documentation on how to ignore render[bot]
In the latest episode of Joe Banks' continued war against our attention,
a new bot using the push-based user notification model has spawned on
the python-discord/infra repository. Attached my diplomatic response.
Diffstat (limited to 'docs/docs/tooling/github-bots.md')
| -rw-r--r-- | docs/docs/tooling/github-bots.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/docs/tooling/github-bots.md b/docs/docs/tooling/github-bots.md index aefee13..d034698 100644 --- a/docs/docs/tooling/github-bots.md +++ b/docs/docs/tooling/github-bots.md @@ -40,7 +40,9 @@ receive: ``` sieve require ["envelope", "fileinto", "imap4flags"]; -if allof (header :is "X-GitHub-Sender" ["coveralls", "github-actions[bot]", "netlify[bot]"], +if allof (header :is "X-GitHub-Sender" [ + "coveralls", "github-actions[bot]", "render[bot]", "netlify[bot]" + ], address :is "from" "[email protected]") { setflag "\\seen"; fileinto "Trash"; |