Files
nixpkgs/ci/github-script/merge.js
Wolfgang Walther 7ea127c83a ci/github-script/merge: move API requests out of runChecklist
This makes runChecklist mostly a pure function (except for logging) to
allow calling it repeatedly later.
2025-11-02 16:35:48 +01:00

8.4 KiB