search

Java-Discord / JavaBot

General utility bot for the Discord Java Community
https://discordjug.net/
GNU General Public License v3.0
48 stars 22 forks source link

Implement dan1st's suggestion #16

Closed MoonTM-GIT closed 3 years ago

MoonTM-GIT commented 3 years ago

https://canary.discord.com/channels/648956210850299986/752535909228085348/860302029199900702

Possibly change the automod (that handles too many files) so it doesn't trigger (as fast) with java source files or at least inform the user before muting

jasonlessenich commented 3 years ago

done, yikes