From b3d1ed934c2d638a79282d9db844626994c42695 Mon Sep 17 00:00:00 2001
From: Consolatis <35009135+Consolatis@users.noreply.github.com>
Date: Thu, 2 Jun 2022 11:44:35 +0200
Subject: [PATCH] IRC notifications: disable push notifications

They were also called for the 'master' and 'v0.5' branches of forks and are
not that helpful anyway because they just post the compare link and not the
title of the commits.

Additionally, they were also called whenever a PR was merged which already
has its own notification including a link to the PR.
---
 .github/workflows/irc.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/irc.yml b/.github/workflows/irc.yml
index eaeb7685..31ff9ed3 100644
--- a/.github/workflows/irc.yml
+++ b/.github/workflows/irc.yml
@@ -7,8 +7,8 @@ on:
     types: [opened, closed, reopened]
   push:
     branches:
-      - 'master'
-      - 'v0.5'
+      - 'master_disabled'
+      - 'v0.5_disabled'
 
 jobs:
   test: