Closed mrobinson closed 12 months ago
@mrobinson Unfortunately I am no longer a maintainer, so I can't merge this. (I don't know why).
@s3bk You should have write access to this repository now, which should allow you to merge changes here via the merge queue.
Thanks. It is good to see that I am not the only one who wants to keep pathfinder alive.
Thanks for the review!
@s3bk: 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.