ci/github-script/merge: don't consider draft PRs eligible for merge bot

Fixes #499676
2026-03-14 11:07:56 -04:00
parent 8b0ac61762
commit 8c720affeb
1 changed files with 1 additions and 0 deletions
@@ -56,6 +56,7 @@ function runChecklist({
      'Opened by [@r-ryantm](https://nix-community.github.io/nixpkgs-update/r-ryantm/).':
        pull_request.user.login === 'r-ryantm',
    },
+    'PR is not a draft': !pull_request.draft,
  }

  if (user) {