Automatically merge PR when CI reports success

[OrfeasZ]

It would be nice if Gitea would provide an option to automatically merge a PR when the associated CI reports a successful build, similar to GitLab's merge when pipeline succeeds feature. It is fairly common to wait for a build of a PR to succeed before manually merging it, so a feature like this would be very helpful, especially in cases where there's long running builds / tests. It would also very nicely complement #3588.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs during the next 2 weeks. Thank you for your contributions.

[noerw]

will be fixed by #9307

[jolheiser]

Closing; associated PR is merged. 🙂