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:
3136934810 (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