bot - A mirrored copy of the python-discord/bot repository.

	Commit message (Collapse)	Author	Lines
2020-09-16	update the reddit emojis to actual emojis'	Senjan21	-3/+3

2020-09-16	Updating names of reddit emotes.	Senjan21	-3/+4

2020-09-11	Verification: update & improve docstrings	kwzrd	-12/+11
	After moving constants to config, the docstring references were not updated accordingly, and remained uppercase. This commit also removed the redundant list indentation.
2020-09-10	Verification: move constants to config	kwzrd	-25/+43

2020-09-08	Add everyone_ping filter.	kosayoda	-11/+47

2020-09-07	Remove everyone_ping rule from antispam.	kosayoda	-152/+0
	The feature will be moved to the filtering cog.
2020-09-05	Disable everyone_ping filter in AntiSpam cog	Sebastiaan Zeeff	-4/+8
	As there are a few bugs in the implementation, I've temporarily disabled the at-everyone ping filter in the AntiSpam cog. We can disable it after we've fixed the bugs. Signed-off-by: Sebastiaan Zeeff <[email protected]>