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