Commit graph

51 commits

Author SHA1 Message Date
Wolfgang Walther 6f6c625026
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.
2025-07-14 10:35:13 +02:00