From 2d929134de940e94833c4e7241bf27f79e58b6a9 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Sun, 22 Dec 2024 17:48:20 +0100
Subject: [PATCH] mergify: handle github actions
---
.mergify.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.mergify.yml b/.mergify.yml
index 8e98970..16b1c33 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -5,7 +5,8 @@ pull_request_rules:
- check-success = "Nix build on ubuntu"
- check-success = "pre-commit.ci - pr"
- or:
- - author = pre-commit-ci[bot]
- author = dependabot[bot]
+ - author = github-actions[bot]
+ - author = pre-commit-ci[bot]
actions:
merge:
--
GitLab