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