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