b46cb23251
This turns the check-cherry-pick script into a github-script based JavaScript program. This makes it much easier to extend to check reverts or merge commits later on.
18 lines
651 B
Markdown
18 lines
651 B
Markdown
# GitHub specific CI scripts
|
|
|
|
This folder contains [`actions/github-script`](https://github.com/actions/github-script)-based JavaScript code.
|
|
It provides a `nix-shell` environment to run and test these actions locally.
|
|
|
|
To run any of the scripts locally:
|
|
|
|
- Enter `nix-shell` in `./ci/github-script`.
|
|
- Ensure `gh` is authenticated.
|
|
|
|
## Check commits
|
|
|
|
Run `./run commits OWNER REPO PR`, where OWNER is your username or "NixOS", REPO is the name of your fork or "nixpkgs" and PR is the number of the pull request to check.
|
|
|
|
## Labeler
|
|
|
|
Run `./run labels OWNER REPO`, where OWNER is your username or "NixOS" and REPO the name of your fork or "nixpkgs".
|