bots: Migrate source file for zulip-bot-shell to similar name.

zulip / python-zulip-api

Python library for the Zulip API.

https://zulip.com/api/

Apache License 2.0

355 stars 357 forks source link

bots: Migrate source file for zulip-bot-shell to similar name. #738

Closed neiljp closed 2 years ago

neiljp commented 2 years ago

Follow-up to #736 based on comment by Tim.

On noticing an exclusion of the file for type-checking, added a prep commit to do this, though based on this zulip-bot-shell doesn't cover the cases like the standard run script does, which we should unify to improve consistency and deduplicate.

timabbott commented 2 years ago

Merged, thanks @neiljp!