| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-07-15 | ci/github-script: add gh dependency to dev shell | Wolfgang Walther | |
| 2025-07-14 | ci/github-script: move from ci/labels | Wolfgang 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. | |||
