Leaderboard pooling multiple servers, break up into multiple leaderboards.

[coillteoir]

Is your feature request related to a problem? Please describe.
The bot is currently being added to multiple servers, at the moment it is only designed for one server.

Describe the solution you'd like
The bot should create multiple leaderboard objects for each server it's in

Describe alternatives you've considered
Force the bot to only count good mornings from one server

Proposed Solution
Create a dictionary of leaderboards where the key is the ID of the server the bot is in. This involves changing the config and automating the process of creating leaderboards.

[GuyKeogh]

The best approach would be a database solution, rather than keeping all the data stored in-memory or on-disk. It'd be more maintainable and would be more persistent.

My approach where it'd stay simple would be to use the free version of MongoDB, and create Beanie models with the data that's needed. Creating, reading, and updating, would all be straightforward with this.

Let me know if you want this approach to be taken and I can throw together the solution.

[coillteoir]

The only problem I have with this approach is scope creep. Although it would be a better solution than relying on the Python standard library for sure.
I do think it would be good in the long run for sure.

[coillteoir]

If you want to work on an implementation, please add the required steps to the docker build. I can help with this side of it.