Hubs-Foundation / hubs-discord-bot

A Discord bot that helps you use Hubs together with people in Discord.
Mozilla Public License 2.0
50 stars 31 forks source link

Notification scheduling #69

Closed mqp closed 5 years ago

mqp commented 5 years ago

This is aimed to be a simple tool that Liv can try out to see whether it's worth having, or worth fleshing out somehow, or things like that. Here is how it works:

Right now, the bot won't respect pins/unpins/deletions of notification messages that you do manually until it restarts (which happens at arbitrary times, when we deploy stuff), so you probably shouldn't do that if you want to keep the pending notification behavior legible. You might also get odd results if you do things like take away and give back the bot's permissions at strategic times, and so on. I'm really only trying to handle the reasonable cases here so that we can test this out.

Note that the bot needs "manage messages" permission in order to pin or unpin messages, so none of this will work if you don't grant it in the channels you want it to operate in.