Permanent Mutes

[navarr]

Acceptance Criteria

• When a user is muted, leaves the server, and later rejoins the server, the mute persists.
• Such a mute persists even if the bot script restarts

Technical Notes

I thought this would require a database, but I suppose it shouldn't. This functionality could be possible by keeping a map of DiscordIDs (to boolean true, for quick lookup) of muted users in memory. When the bot starts, it could find all users with the role and add them to the array (and then update the array throughout the !mute and !unmute commands). This would allow persistence without necessitating an external data layer.

[navarr]

@McJeffr I'm reopening because the current system does not seem to be working perfectly. We may need a true datastore to finish this task