summaryrefslogtreecommitdiff
path: root/ci/get-merge-commit.sh (follow)
Commit message (Expand)AuthorAgeFilesLines
* ci/get-merge-commit.sh: Add documentation•••And distinguish exit codes Silvan Mosberger2024-10-121-5/+4
* 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 Silvan Mosberger2024-10-121-0/+8
* 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) Silvan Mosberger2024-10-121-0/+55