mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[GH-ISSUE #101] !explain shouldn't be case-sensitive #20
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @13xforever on GitHub (Oct 15, 2018).
Original GitHub issue: https://github.com/RPCS3/discord-bot/issues/101
The easiest way is to normalize terms to lowercase on add/explain.
Doing case-insensitive db schema update isn't as easy, and fraught with frail (both in Unicode support and performance).
!explain shouldn't be case-sensitiveto [GH-ISSUE #101] !explain shouldn't be case-sensitive