diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-01 22:25:11 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-02 16:36:06 +0100 |
| commit | 6848f93842ac3def2769c70ab213685c26f7be1e (patch) | |
| tree | 3fe8e03004ebd6bf0f6201156bdd5affb3c42634 /pkgs/development/python-modules/rangehttpserver | |
| parent | db8f50b4de82a81f2f79410a2ad4bad1423443fe (diff) | |
ci/github-script/merge: add TODO about second merge method
We have not observed this merge method being used in practice, yet. Not
in the new bot, not in the old bot. It seems like auto-merge works for
all cases.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions