@mbrubeck: The context of this change is that we are going to be gradually disabling bors for the servo organization, since merge queue support is built into GitHub now. In order to merge changes, you can now click the "merge when ready" button and this will do what bors did in the past. We've set the commit style to "squash and merge" in order to have a linear commit history on Servo organization repositories, but if you have a preference this can also be adjusted in the branch protection settings in GitHub. Please reach out if you have any questions or concerns.