summaryrefslogtreecommitdiff
path: root/ci/github-script/shell.nix
AgeCommit message (Collapse)Author
2025-07-15ci/github-script: add gh dependency to dev shellWolfgang Walther
2025-07-14ci/github-script: move from ci/labelsWolfgang Walther
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.