mlvzk

I implemented this in #1073

I added an entry to the change log and `Closes ...` to the commit.

@fulmicoton I opened an issue. Was that what you meant? I couldn't find this in other PRs, other than your last one. Should I just open a PR with Issue/...

I think muting and deleting their messages would be better than banning. At least then you can contact mods in case of misfire. Also let's you be more aggressive with...

code too ugly

fetch.sh only detects gtk themes, changing to theme would be a lie :(

Instead of !note undo I think it would be better to do !note undo . For this we would need !note to show notes together with their IDs, but the...

Yes, that would be better. You could sort oldest to newest, skip \, limit 1 and delete that

@davidv171 There are easier ways to bypass the filter if that's the user's intention, like putting a space in the middle of "[slur]". If someone does that it should be...

also seems like discordgo sometimes has duplicate users in state