Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci/get-merge-commit.sh: Exit for non-open PRs
If PRs aren't open (either merged or closed), GitHub never computes whether the PR is mergeable, so we'd wait forever, which has been happening: https://github.com/NixOS/nixpkgs/actions/runs/11279197077/job/31369348101#step:2:59
- Loading branch information