Adding new reviewers to a repository

When you add a repository to bors, it will automatically add you as a reviewer to it, giving you permission to run commands like bors r+ and bors try on pull requests on it.

To add or remove someone else on this list, you will first need to Log into the dashboard. If you are not using the public instance, please ask your organization owner what the URL for your instance is. If you are using the public instance, it's https://app.bors.tech/.

Next, go into your repository list.

After opening the right repository, choose the Settings tab.

Next, type the username of the person who you want to grant into the "GitHub login" box, which is placed next to the list of existing users. Then hit Enter.

If you entered a valid GitHub username and all goes well, the user should now have permission to issue commands. Otherwise you'll see an error describing what went wrong.

This screen is also where you can set bors up to sync the set of reviews from GitHub permissions. Set the "Synchronize" drop-down.

Can bors-ng automatically grant reviewer permissions based on github permissions? I have a project with ~25 repos × ~50 committers and both are growing all the time (you can see why I’m looking for automation!).

It looks like you can ask github “does this person have write access to this repo?” with an API request like: https://api.github.com/repos/{org}/{repo}/collaborators/{username}/permission

Yes, it can. This screenshot was a bit out of date, so I updated it.

So how does it work now, because I can't add reviewers in the dashboard at all so what permissions are required?

Update

After giving members of my organization write access, they were automatically added to reviewers list. (for anyone else not able to manually add reviewers from dashboard)

You need to change Synchronize to “None,” then hit Update.