diff options
| author | 2024-08-07 18:41:02 +0100 | |
|---|---|---|
| committer | 2024-08-07 18:41:02 +0100 | |
| commit | dcbb78959177537cf1fdda813380996a4b2daf8f (patch) | |
| tree | 0a53ded19896aaddf93cc8f1e4ff34ac3f70464e /docs/tooling | |
| parent | Revert "Enable fail2ban jails for postfix" (diff) | |
Remove old documentation
Diffstat (limited to 'docs/tooling')
| -rw-r--r-- | docs/tooling/bots.rst | 55 | ||||
| -rw-r--r-- | docs/tooling/index.rst | 12 | 
2 files changed, 0 insertions, 67 deletions
diff --git a/docs/tooling/bots.rst b/docs/tooling/bots.rst deleted file mode 100644 index 7b5e165..0000000 --- a/docs/tooling/bots.rst +++ /dev/null @@ -1,55 +0,0 @@ -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. - -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: - -.. code:: sieve - -   require ["envelope", "fileinto", "imap4flags"]; - -   if allof (header :is "X-GitHub-Sender" ["coveralls", "github-actions[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. - -.. [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. diff --git a/docs/tooling/index.rst b/docs/tooling/index.rst deleted file mode 100644 index 2381849..0000000 --- a/docs/tooling/index.rst +++ /dev/null @@ -1,12 +0,0 @@ -Tooling -======= - -Learn about the helperlings that keep Python Discord DevOps running like a -well-oiled machine. - - -.. toctree:: -   :maxdepth: 2 -   :caption: Contents: - -   bots  |