From ec9579fdc19749ac204ca4150920bb9606f08242 Mon Sep 17 00:00:00 2001
From: Consolatis <35009135+Consolatis@users.noreply.github.com>
Date: Fri, 26 Dec 2025 16:07:27 +0100
Subject: [PATCH] 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.
---
 .github/workflows/{irc.yml => irc.yml.disabled} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{irc.yml => irc.yml.disabled} (100%)

diff --git a/.github/workflows/irc.yml b/.github/workflows/irc.yml.disabled
similarity index 100%
rename from .github/workflows/irc.yml
rename to .github/workflows/irc.yml.disabled