That PR was apparently accepted by the operator, not by the bot. Kind of weird.