From 8664ebfffd48e3e11c45d842b22af8ec2546608a Mon Sep 17 00:00:00 2001 From: Ruoyu Zhong Date: Tue, 6 Aug 2024 09:03:47 +0800 Subject: [PATCH] workflows/stale-issues: delete branch after closing a stale PR Fixes Homebrew/homebrew-core#180127. --- .github/workflows/stale-issues.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/stale-issues.yml b/.github/workflows/stale-issues.yml index 312cab04..07698a5e 100644 --- a/.github/workflows/stale-issues.yml +++ b/.github/workflows/stale-issues.yml @@ -45,6 +45,7 @@ jobs: recent activity. It will be closed if no further activity occurs. exempt-issue-labels: "gsoc-outreachy,help wanted,in progress" exempt-pr-labels: "gsoc-outreachy,help wanted,in progress" + delete-branch: true bump-pr-stale: if: > @@ -68,3 +69,4 @@ jobs: pull request open, add a `help wanted` or `in progress` label. exempt-pr-labels: "help wanted,in progress" any-of-labels: "bump-formula-pr,bump-cask-pr" + delete-branch: true