discord-heidi

Author	SHA1	Message	Date
Christoph Urlacher	6659079d7a	Clean up type hints everywhere, overhaul bot configuration Some checks failed Build Heidi Docker image / build-docker (push) Failing after 28s Details	2025-09-23 20:39:11 +02:00
Christoph Urlacher	f2ddb4ab66	Only play entrance sound when other is present + reformat All checks were successful Build Heidi Docker image / build-docker (push) Successful in 14s Details	2023-12-09 18:04:24 +01:00
Christoph	2e493e404b	Split Heidi into multiple parts All checks were successful Build Heidi Docker image / build-docker (push) Successful in 28s Details	2023-12-09 17:14:05 +01:00