From b49057bc63c4fbde9ebd92a11aa4a8f46eb246c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Fr=C3=B6hlich?=
 <christophfroehlich@users.noreply.github.com>
Date: Wed, 20 Nov 2024 21:12:21 +0100
Subject: [PATCH] Minor CI updates (#236)

---
 .github/mergify.yml | 34 ++++++++++++++++++++++++++++++++++
 codecov.yml         |  4 ----
 2 files changed, 34 insertions(+), 4 deletions(-)
 create mode 100644 .github/mergify.yml

diff --git a/.github/mergify.yml b/.github/mergify.yml
new file mode 100644
index 00000000..3c597254
--- /dev/null
+++ b/.github/mergify.yml
@@ -0,0 +1,34 @@
+pull_request_rules:
+
+  - name: Ask to resolve conflict
+    conditions:
+      - conflict
+      - author!=mergify[bot]
+      - author!=dependabot[bot]
+    actions:
+        comment:
+          message: This pull request is in conflict. Could you fix it @{{author}}?
+
+  - name: Ask to resolve conflict for backports
+    conditions:
+      - conflict
+      - author=mergify[bot]
+    actions:
+        comment:
+          message: This pull request is in conflict. Could you fix it @bmagyar @destogl @christophfroehlich @saikishor?
+
+  - name: development targets master branch
+    conditions:
+      - base!=master
+      - author!=bmagyar
+      - author!=destogl
+      - author!=christophfroehlich
+      - author!=saikishor
+      - author!=mergify[bot]
+      - author!=dependabot[bot]
+    actions:
+        comment:
+          message: |
+            @{{author}}, all pull requests must be targeted towards the `master` development branch.
+            Once merged into `master`, it is possible to backport to `{{base}}`, but it must be in `master`
+            to have these changes reflected into new distributions.
diff --git a/codecov.yml b/codecov.yml
index ac6e323a..08b92203 100644
--- a/codecov.yml
+++ b/codecov.yml
@@ -9,10 +9,6 @@ coverage:
     patch: off
 fixes:
   - "ros_ws/src/control_toolbox/::"
-ignore:
-  - "**/test"
-  - "test"
-  - "test/**/*"
 comment:
   layout: "diff, flags, files"
   behavior: default