How is Bors configured? There's not many configuration options, but what there is can be found in bors.toml in the .github directory.
When does Bors process the config file? At the time commands are issued, Bors looks for a bors.toml in the PR to be merged. This means if you haven't changed it, the config file from your PR's target branch is used.
Is there a log of what Bors does somewhere? Yep! For this repo, you can find it here.
How do I add Craig to other repos? Craig is already listening to all the repos under @cockroachdb. There are two steps to making Craig respond to commands somewhere else: part one is to add a bors.toml config file to the repo that tells Bors what CI status to wait on, and part two is adding everyone as reviewers on the repo's settings page on the Bors dashboard.
Craig told me "Permission denied"! You are not currently a reviewer, so just ask someone who is to add you to the list of reviewers on the settings page.
Should I use bors for backports? No, use the green merge button instead.
My question isn't answered here! Ask on the mailing list, or if you're an internal Cockroach dev, on Slack in the channel #bors.

#163: currently Bors will not automatically close issues if they are listed only in commit messages, however they will be closed if they appear in the PR description.
#165: user management is currently relatively manual. If you need permissions to act as a reviewer, ask someone to add you.
See workflow race condition above. Maybe we could add an arbitrary sleep in bors code to prevent that from happening.
If bors fails for the above reason, it doesn't notify the PRs that it's done so, it fails silently. This is annoying.

Versions Compared

Key