Remove remnants of bots_unmaintained.

andersk · andersk · commit f78e6e653bd5 · 2023-11-13T13:29:50.000-08:00
This was deleted in commit 754a9f7 (#567). Signed-off-by: Anders Kaseorg <anders@zulip.com>
diff --git a/tools/run-mypy b/tools/run-mypy
@@ -20,7 +20,6 @@ exclude = [
     # Excluded because we don't want to require bot authors to
     # fully annotate their bots.
     "zulip_bots/zulip_bots/bots",
-    "zulip_bots/zulip_bots/bots_unmaintained",
 ]
 
 # These files will be included even if excluded by a rule above.
diff --git a/zulip_bots/README.md b/zulip_bots/README.md
@@ -13,7 +13,6 @@ https://chat.zulip.org/api/writing-bots).
 zulip_bots  # This directory
 ├───zulip_bots  # `zulip_bots` package.
 │   ├───bots/  # Actively maintained and tested bots.
-│   ├───bots_unmaintained/  # Unmaintained, potentially broken bots.
 │   ├───game_handler.py  # Handles game-related bots.
 │   ├───lib.py  # Backbone of run.py
 │   ├───provision.py  # Creates a development environment.

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,6 @@ exclude = [`
`20`	`20`	`# Excluded because we don't want to require bot authors to`
`21`	`21`	`# fully annotate their bots.`
`22`	`22`	`"zulip_bots/zulip_bots/bots",`
`23`		`- "zulip_bots/zulip_bots/bots_unmaintained",`
`24`	`23`	`]`
`25`	`24`
`26`	`25`	`# These files will be included even if excluded by a rule above.`