Kitti does not allow duplicate Discord emoji with uppercase identifiers in duplicate message policing

[a-lexer]

Regex at

KittyBot/extensions/duplicate_message_policing.py

Line 54 in ad1997a

r"<a?:[a-z]+:\d+>", event.content

is deficient as it does not allow :Poggers: to be resubmitted since it foolishly specifies such capacity only for lower case names. Poggers starts with an uppercase letter (hereafter referred to as 'P').

Critical?

[flukiluke]

Definitely critical. Can we get a patch rolled out within 24 hours?

[adamnwerbik]

Gonna need a Sunday hotfix surely

[a-lexer]

ceci n'est pas possible

requires ennui on behalf of one of the developers