diff options
| author | Wolfgang Walther <walther@technowledgy.de> | 2025-11-06 12:51:46 +0100 |
|---|---|---|
| committer | Wolfgang Walther <walther@technowledgy.de> | 2025-11-06 15:18:01 +0100 |
| commit | d086c6c6b3f8b2661596f1d424871601e7c5a96f (patch) | |
| tree | 70d484c4822f41cf25445e7d308ef59d40ee1909 /pkgs/development/python-modules/rangehttpserver | |
| parent | 03cac9390a573dee740004627bbdbe885ac5caad (diff) | |
ci/github-script/merge: add hint about stuck GitHub
Unfortunately it still happens frequently that, after enabling
auto-merge, GitHub is stuck even though all checks have passed, and
doesn't merge the PR. Any contributor can trigger GitHub again with an
approval of the PR - this will then immediately queue the PR for merge.
Adding a hint to the posted comment, should help users through this
without my intervention.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions