From 1c429acb4e5291385d20b0c284da9fd49b6b7644 Mon Sep 17 00:00:00 2001
From: Martin Kojtal <martin.kojtal@arm.com>
Date: Mon, 22 Feb 2021 15:54:02 +0000
Subject: [PATCH] Mergify: remove stale label when PR is merged

---
 .mergify.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.mergify.yml b/.mergify.yml
index 3adb8de95b..41edcccd68 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -149,7 +149,7 @@ pull_request_rules:
       - "label=ready for merge"
     actions:
       label:
-        remove: ['ready for merge']
+        remove: ['ready for merge', 'stale']
 
   - name: add "do not merge" label when WIP is in title
     conditions: