Consolatis ec9579fdc1 CI: disable IRC notifications for now ... Libera started requiring an account for the IP ranges of GH CI. This currently results in the IRC notification job running for more than one hour because the IRC client it uses doesn't terminate properly after giving up and thus eats our CI minutes. The patch disables the notifications for now until we figure out a better way, either by registering a libera account for the bot and supplying the credentials via secret or by changing to GH webhooks to a publicly available service like pipe.pico.sh which then can be listened to by our existing IRC bot.		2025-12-26 16:22:58 +01:00
..
ISSUE_TEMPLATE	Add github issues template	2024-11-03 20:20:27 +00:00
workflows	CI: disable IRC notifications for now	2025-12-26 16:22:58 +01:00