Resources / cardano-sl / bors.md
You are browsing a mirror of a file hosted on GitHub. View original
How to merge PRs with Bors
Bors is a GitHub bot that queues merging and
testing of PRs to prevent breaking code merges from reaching the
It works by sending commands in messages on GitHub pull requests.
Before merging, your PR must have:
- at least one review approval
- no review rejections
- green CI status
How to merge
Add a comment to the pull request with the text
Bors will handle things from there. It merges your PR into a staging
branch and then waits for that branch to pass CI before merging to
develop. If something fails, it will send a message to the PR saying
Who can merge
Anyone with push access to the GitHub repository can send commands to
IOHK host our own Bors bot called
The web interface is at https://bors-ng.aws.iohkdev.io/. Generally, you don’t need the web interface to merge PRs.
If using the web interface, ensure that you are using ours, rather than the one hosted by the Bors developers at https://app.bors.tech/.
Most of the settings for Bors are in
The settings for branches and permissions are found in the web interface at https://bors-ng.aws.iohkdev.io/repositories .
There are full instructions for setting up Bors for a new repo in