Select Topic Area

Bug

Body

We had a long open pull request which was not ready for merge (WeblateOrg/weblate#11510). Yesterday it was updated by a bot to match upstream and thus became blank. Once another pull request got merged, GitHub marked this blank pull request as merged by a bot who did the other pull request.

No code was merged, but at first glance, I was worried that a third-party bot is merging code not ready for merge. So I'd really prefer something more clear in the pull request log in this case to avoid the need to deeply investigate what was going on.

In more detail, the situation is described at renovatebot/renovate#29422 (comment)