Double merge in quick succession

[silverwind]

go-gitea/gitea#22175

These were pretty much back-to-back:

[yardenshoham]

Possibly because we trigger it on push and on pull_request labeling

[silverwind]

This was a bit of an odd case. I added a . comment to satisfy the lgtm bot, but then another PR was landed into main pretty much at the same time. I guess it was bad timing.

[yardenshoham]

So close?

[silverwind]

I guess. Let's see how it goes with new lgtm bot then.