Files
nixpkgs/ci/github-script/.gitignore
Wolfgang Walther d202219502 ci/github-script: move from ci/labels
This just moves things around to use less specific naming - `labels` is
only *one* script that can potentially be run locally while still being
written in github-script. Later, we can add more.

(cherry picked from commit 6f6c625026)
2025-07-15 12:57:57 +00:00

2 lines
13 B
Plaintext