diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-04 15:38:21 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-04 15:41:50 +0100 |
| commit | 2d6602908bdf3824b189bad0f8408e42ba3a3cad (patch) | |
| tree | e1592e90bca7ad895e3168a497fe05e5c63227ec /pkgs/development/python-modules/rangehttpserver | |
| parent | 747d9e2d348b154162b76b4fc24f10f02ad9e55e (diff) | |
ci/github-script/merge: improve testability
By only ignoring already-handled comments when running non-dry, it's
much easier to look at existing PRs, for which the merge bot already
commented, and iterate on them locally.
It's dry mode anyway, so it won't hurt to get a few more merge comments
in the console output.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions