From aa178d2ba1168097746c02ae04ff9f848d2e41a9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Thomas=20Oberm=C3=BCller?= Date: Thu, 25 Jul 2024 11:06:58 +0200 Subject: [PATCH] docs(bot): explain label for stale PR bot (#23964) --- .github/workflows/stale.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/stale.yaml b/.github/workflows/stale.yaml index 6cceaf0883e92..9f2797cca668a 100644 --- a/.github/workflows/stale.yaml +++ b/.github/workflows/stale.yaml @@ -19,7 +19,7 @@ jobs: remove-issue-stale-when-updated: true days-before-pr-stale: 7 days-before-pr-close: 7 - stale-pr-message: "This PR hasn't seen activity in a week! Should it be merged, closed, or further worked on? If you want to keep it open, post a comment or remove the `stale` label – otherwise this will be closed in another week." + stale-pr-message: "This PR hasn't seen activity in a week! Should it be merged, closed, or further worked on? If you want to keep it open, post a comment or remove the `stale` label – otherwise this will be closed in another week. If you want to permanentely keep it open, use the `waiting` label." close-pr-message: "This PR was closed due to lack of activity. Feel free to reopen if it's still relevant." stale-pr-label: stale remove-pr-stale-when-updated: true