Open Bug 1492642 Opened 6 years ago Updated 2 years ago

The sync bot tries to merge a merged PR and creates noises in bug comment

Categories

(Testing :: web-platform-tests, enhancement)

Product:
Testing
Component:
web-platform-tests
Version:
Version 3
Type:
enhancement

Tracking

(Not tracked)

People

(Reporter: xidorn, Unassigned)

Details

I've seen two cases where after a bug is closed, the sync bot first reports that the upstream PR is merged, then reports failing to merge due to check failure.

See bug 1483075 comment 8 and 9, and bug 1491212 comment 13 and 14.
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.