diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-18 09:18:18 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-18 09:20:08 +0100 |
| commit | 28a32416fbcf7e01209040cf548788c42c8bfb9f (patch) | |
| tree | 176de785960621bd5784de8f91bcaf2718e99033 /pkgs/development/python-modules/rangehttpserver | |
| parent | d2a32fd9a82b25f934b4ea8e5e90e704ad681a1d (diff) | |
Revert "ci/github-script/labels: close empty PRs"
This reverts commit 402b41c1257ffc7cb88f2876b5fa20ab3ffe4f95.
GitHub' API repeatedly returns wrong data which causes closed PRs when
the changes had not been merged, yet.
We have closed a bit more than 100 PRs overall, most of them initially -
the feature is not really that important overall.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions