mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2025-11-08 20:28:55 -05:00
* start * Get user inside blocklist/allowlist lists * Changes to cover unknown or deleted users * Use square brackets for clarity * Implement the above commit for all four versions * Much improved UI, removed `[]` to fit new format * updates to support roles in local version * add /role to unknown str * Improve variable names Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>