From 3df5deb72d13adde95c894decaccd67bb3c3d6d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Sz=C5=91ke?= <egyszeregy@freemail.hu>
Date: Sun, 3 Sep 2023 00:15:21 +0200
Subject: [PATCH] Revert "Merge branch 'mickledore' into master"

This reverts commit 75cd5fc651ba94a17672c8b2de57c295789b4e5a, reversing
changes made to da7f0e5519262765a68ce5cacf360a306fc4f896.
---
 .github/workflows/CI_github.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/CI_github.yml b/.github/workflows/CI_github.yml
index 4d4da502..d6cdba34 100644
--- a/.github/workflows/CI_github.yml
+++ b/.github/workflows/CI_github.yml
@@ -3,6 +3,8 @@ name: meta-mono
 on:
   push:
     branches:
+      - master
+      - master-next
       - mickledore
   pull_request: