4 commits

Author	SHA1	Message	Date
Wolfgang Walther	962836d4d0	workflows/get-merge-commit: return targetSha ... We can fetch the targetSha directly with the mergedSha from the API. This avoids a checkout with fetch-depth: 2 for a small performance improvement.	2025-05-11 22:22:47 +02:00
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