diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-07-12 15:24:14 +0200 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-07-14 10:35:13 +0200 |
| commit | 6f6c62502622fea6904d6d7e42b89f3ebc400ede (patch) | |
| tree | 0e603cd170f854fa0d62eff4772a83951510570e /pkgs/development/python-modules/rangehttpserver | |
| parent | b2e5044b3e79793df83d01c9983c054cae5ea6ff (diff) | |
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.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions