Commit Graph

3 Commits

Author SHA1 Message Date
Silvan Mosberger
e6a8855a14 ci/get-merge-commit.sh: Add documentation
And distinguish exit codes
2024-10-12 03:59:02 +02:00
Silvan Mosberger
048f4aa537 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
2024-10-12 03:59:02 +02:00
Silvan Mosberger
7f9d297838 workflows/nixpkgs-vet: Make merge check script reusable
This is useful for other workflows as well. Originally I thought it
couldn't be put in the repo, but it can (just needs another checkout)
2024-10-12 03:58:39 +02:00