leander 2afd2344f4 make group profiles optional ...

because some groups apparently lack profiles >:

2024-09-09 19:33:36 +02:00

..

assets

add discord bot to monorepo

2024-04-04 02:12:50 +02:00

cogs

stop db event listener on cog unload

2024-05-08 00:05:14 +02:00

logger.py

log at root level instead of 'discord' level

2024-04-22 02:41:22 +02:00

models.py

make group profiles optional

2024-09-09 19:33:36 +02:00

run.py

convert static discord ids from .env to int

2024-04-29 23:45:02 +02:00