GH Actions/merge conflicts: also check PRs for the 4.0 branch

jrfnl · jrfnl · commit 1db43221c374 · 2024-06-05T11:41:06.000+02:00
Based on the logging, the PRs for the 4.0 branch are not checked on pushes. Let's enable that.
diff --git a/.github/workflows/label-merge-conflicts.yml b/.github/workflows/label-merge-conflicts.yml
@@ -5,6 +5,7 @@ on:
   push:
     branches:
       - master
+      - 4.0
   # Check conflicts in new PRs and for resolved conflicts due to an open PR being updated.
   pull_request_target:
     types:
