janek/mostr-zulip-bot
1
0
Fork 0
Code Issues Pull requests Releases Activity

Remove remnants of bots_unmaintained.

Browse source 
This was deleted in commit 754a9f7880
(#567).

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2023-11-13 13:29:35 -08:00
parent 9c44fe5d3a
commit f78e6e653b
2 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
tools/run-mypy
View file

@ -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.

1
zulip_bots/README.md
View file

@ -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.