feature: Reminders for Live Sessions from Subject Calendars

[kry0sc0pic]

This sends a reminder in the respective subject's channel 5 minutes (can be changed) before and when a live session is going to start on the respective subject calendars. Members can opt-in to the pings via selecting the role to receive these alerts.

Miscellaneous Changes
[+] Added Dockerfile to run bot in a container for testing

Checklist before deploying to prod

• Create a new ping role on server and update it in config
• Update Environment to prod
• Add more calendars as necessary

Future Improvements

• Move calendars to a database so they can be updated without restarting bot since they will be needed to be updated as terms change

Screenshots from testing server

• Reminder Notification

• Event Notification

Credits
Big thanks to @lmaotrigine for helping me with async-ifying everything

[lmaotrigine]

what is this check and where does it come from?

[kry0sc0pic]

what is this check and where does it come from?

This check only allows admins to use (checks for role id).

This is pre-existing in the bot, used in cogs/verification.py. Using that to keep it consistent with rest of the gated commands

[lmaotrigine]

I don't think you've imported the check? pyright is failing.

[kry0sc0pic]

you're right, idk why it wasn't included in the commit since I remember importing. git kinda sus. fixing

[lmaotrigine]

This fails literally every check now after you merged this into my branch and then back again. It happens sometimes when you rely on auto-resolution. Can you run pre-commit again?

For future reference, rebases are ok in offshoot branches since when this gets merged into main, it's going to get squashed.

[lmaotrigine]

yeet all references to menus, they're not used anywhere anymore. i already have a PageSource configured at the bottom of the file.

[kry0sc0pic]

the timing xd

[kry0sc0pic]

is it ready now @lmaotrigine, or we missing something (apart from the pre-merge checklist I sent in the initial message) ?

[lmaotrigine]

LGTM. You can probably add instructions for deployment with docker to the readme if you like.

[kry0sc0pic]

should I close this PR?

[sinsniwal]

should I close this PR?

Thanks for your PR! I apologize for the delayed response. After multiple meetings with the team[Admin, moderators of the server], we've decided not to include this feature in the server for now. We appreciate your effort and creativity. We may need similar functionality when we work on the website project. Please don't hesitate to discuss this feature on our Discord channel. Thanks for being awesome!

[kry0sc0pic]

I'll leave this open then if you guys change your mind later down the line