On: Servo – Render in parallel

[dbaupp]

Bors does have some github integration and it will automatically merge pull requests and I believe it does update the status, but yes, the details of its interactions are by posting normal comments.