ci/github-script/labels: prevent closing purposely-empty PRs (#453479)

2025-10-19 09:38:07 +00:00
parent e9bd3c3709 a705a34a22
commit ec7f0f43ef
1 changed files with 4 additions and 1 deletions
@@ -26,7 +26,10 @@ module.exports = async ({ github, context, core, dry }) => {
    // be detected, no maintainers pinged.
    // We can just check the temporary merge commit, and if it's empty the PR can safely be
    // closed - there are no further changes.
-    if (pull_request.merge_commit_sha) {
+    // We only do this for PRs, which are non-empty to start with. This avoids closing PRs
+    // which have been created with an empty commit for notification purposes, for example
+    // the yearly election notification for voters.
+    if (pull_request.merge_commit_sha && pull_request.changed_files > 0) {
      const commit = (
        await github.rest.repos.getCommit({
          ...context.repo,