GitHub Specific CI Scripts and Local Execution

# 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".

This document describes a folder containing JavaScript code based on `actions/github-script` for GitHub-specific CI operations. It provides a `nix-shell` environment for local execution and testing of these scripts. To run them locally, users need to enter `nix-shell` in the `./ci/github-script` directory and ensure `gh` is authenticated. Specific scripts include 'Check commits' which can be run with `./run commits OWNER REPO PR` and 'Labeler' which can be executed with `./run labels OWNER REPO`.