Closed broguesquadron closed 2 years ago
Thank you for the nice PR! I was wondering if the goal would be to make the bot case insensitive only for the first character or whether we should disregard case case completely? We could use
if match.command("create", case_sensitive=False):
...
for that.
case
I didn't think it through and look at the botlib library. I'll rescind the PR and get back to you this evening.
Added conditional logic to allow case insensitivity in the first character of commands. This makes the bot more mobile-friendly.