From b3246150c36814d031094f07ef7088904d1e75b8 Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Tue, 16 Nov 2021 04:03:47 +0000 Subject: [PATCH] [mergify] report open backported PRs once a week (#6622) Co-authored-by: Andrew Wilkins --- .mergify.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.mergify.yml b/.mergify.yml index 26c2228e51c..dbde3af591f 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -137,3 +137,14 @@ pull_request_rules: label: remove: - backport-skip + - name: notify the backport has not been merged yet + conditions: + - -merged + - -closed + - author=mergify[bot] + - "#check-success>0" + - schedule=Mon-Mon 06:00-10:00[Europe/Paris] + actions: + comment: + message: | + This pull request has not been merged yet. Could you please review and merge it @{{ assignee | join(', @') }}? 🙏