1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
---
description: We use GitHub bots to enhance the Developer and DevOps team experience.
---
# GitHub Bots
Our GitHub repositories are supported by two custom bots:
- Our **Fast Forward Bot**, which ensures that commits merged into main are
either merged manually on the command line or via a fast-forward, ensuring
that cryptographic signatures of commits remain intact. Information on the bot
can be found [in the ff-bot.yml
configuration](https://github.com/python-discord/infra/blob/main/.github/ff-bot.yml).
Merges over the GitHub UI are discouraged for this reason. You can use it by
running `/merge` on a pull request. Note that attempting to use it without
permission to do so will be reported.
- Our **Craig Dazey Emulator Bot**, which ensures team morale stays high
at all times by thanking team members for submitted pull requests.[^1]
Furthermore, our repositories all have dependabot configured on them.
[^1]: Craig Dazey Emulator Bot stands in no affiliation, direct or indirect,
with Craig Dazey. Craig Dazey Emulator Bot. Craig Dazey Emulator Bot is not
endorsed by Craig Dazey. Craig Dazey Emulator Bot is an independent project
of Craig Dazey. No association is made between Craig Dazey Emulator Bot and
Craig Dazey.
## Dealing with notifications
This section collects some of our team members' ways of dealing with the
notifications that originate from our bots.
### Sieve (RFC 5228) script
If your mail server supports the [Sieve mail filtering
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
require ["envelope", "fileinto", "imap4flags"];
if allof (header :is "X-GitHub-Sender" [
"coveralls", "github-actions[bot]", "render[bot]", "netlify[bot]"
],
address :is "from" "[email protected]") {
setflag "\\seen";
fileinto "Trash";
stop;
}
```
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.
|
