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

	Commit message (Collapse)	Author	Lines
2020-04-23	Simplify free tag	Matteo Bertucci	-3/+2

2020-04-21	Fix category cache issue	Joseph Banks	-3/+2

2020-04-20	HelpChannels: add logging to answered check	MarkKoz	-3/+4

2020-04-20	HelpChannels: rename dormant command to close	MarkKoz	-4/+4
	People are more familiar with the "close" alias than its actual name, "dormant". "close" also feels more natural.
2020-04-20	Extra documentation + split out to separate function	Joseph Banks	-8/+26

2020-04-20	Add different emoji for different channel statuses (in use answered/unanswered)	Joseph Banks	-2/+7

2020-04-20	HelpChannels: check if the help cooldown role exists	MarkKoz	-10/+12
	A NotFound error can be misleading since it may apply to the member or the role. The log message was not simply updated because each of the scenarios need to have different log levels: missing members is a normal thing but an invalid role is not.
2020-04-20	HelpChannels: pass coroutine func instead to `_change_cooldown_role`	MarkKoz	-6/+8
	This will allow `_change_cooldown_role` to handle the role argument rather than putting that burden on the callers.
2020-04-20	HelpChannels: tidy up log messages	MarkKoz	-5/+1
	* Remove obsolete log message * Shorten a log message which was the only line in the entire module over 100 characters
2020-04-20	Incorrect comparison, we need to check if we are in help_in_use, not out of it	Joseph Banks	-1/+1

2020-04-20	Add statistics on whether a help session was closed with no input from ↵	Joseph Banks	-0/+15
	anyone but the claimant
2020-04-17	HelpChannels: handle errors when changing cooldown role	MarkKoz	-12/+35
	A user may leave the guild before their role can be changed. Sometimes, there could also be role hierarchy issues or other network issues. It's not productive to halt everything and just dump these as exceptions to the loggers. The error handler provides a more graceful approach to these exceptions. * Add a wrapper function around `add_roles` & `remove_roles` which catches exceptions
2020-04-17	HelpChannels: fix role not resetting after dormant command	MarkKoz	-13/+3
	Resetting permissions relied on getting the member from the cache, but the member was already removed from the cache prior to resetting the role. Now the member is passed directly rather than relying on the cache.
2020-04-17	HelpChannels: mention dormant cmd in available message embed	MarkKoz	-2/+3
	Users should know they can close their own channels.
2020-04-17	HelpChannels: add info about cooldown role & dormant cmd to docstring	MarkKoz	-0/+3

2020-04-17	HelpChannels: add/remove a cooldown role rather than using overwrites	MarkKoz	-13/+10
	Overwrites had issues syncing with channels in the category. * Remove update_category_permissions; obsolete * Add constant for the cooldown role wrapped in a discord.Object
2020-04-17	HelpChannels: clear roles when resetting permissions	MarkKoz	-9/+7
	Claimants will have a special role that needs to be removed rather than using member overwrites for the category.
2020-04-17	HelpChannels: add helper function to check for claimant role	MarkKoz	-0/+5

2020-04-17	HelpChannels: remove ensure_permissions_synchronization	MarkKoz	-29/+1

2020-04-17	Constants: add help channel cooldown role	MarkKoz	-0/+2

2020-04-17	HelpChannels: ensure `is_in_category` returns a bool	Mark	-1/+1
	Co-Authored-By: kwzrd <[email protected]>
2020-04-16	Use IDs instead of hard-coding category names in the free tag	Matteo Bertucci	-2/+1
	Co-Authored-By: Shirayuki Nekomata <[email protected]>
2020-04-16	Add a title at the top of the free tag	Matteo Bertucci	-0/+2
	Co-Authored-By: Shirayuki Nekomata <[email protected]>
2020-04-16	Remove `.md` from anti-malware whitelist	Sebastiaan Zeeff	-1/+0
	We want our members to use the paste site to share text-based files instead of them sharing the files as attachments on Discord. As `.md`, a file extensions used for plain-text files with markdown formatting, is such a text file, I've removed it from the anti-malware whitelist.