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.

diff --git a/.github/workflows/irc.yml b/.github/workflows/irc.yml
index eaeb7685e26f8d0cde8c28bbcf3fba991129fd2b..31ff9ed3759e39f0d624b681d0da4e373dedee8c 100644 (file)
--- 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: