Add bors-ng configuration

[cryslith]

• Configure bors-ng
• Run CircleCI only during bors merges
• Require branches to have linear git history

Closes #491.

---

Checklist:

• [x] I have split up this change into one or more appropriately-delineated commits.
• [x] The first line of each commit is of the form "[component]: do something"
• [x] I have written a complete, multi-line commit message for each commit.
• [x] I have formatted any Go code that I have changed with gofmt.
• [x] I have written or updated appropriate documentation to cover this change.
• [x] I have confirmed that this change is covered by at least one appropriate test run by CI.
• [x] If my change includes new or modified functionality, I have tested that the changes work as expected.
• [x] I have assigned this issue to an appropriate reviewer. (Choose @celskeggs if you are not otherwise certain.)
• [ ] I consider my PR complete and ready to be merged without my further input, assuming that it passes CI and code review.
• [x] My changes have passed CI, including an automatic Jenkins deploy.
• [x] My changes have passed code review.

[cryslith]

Note: for this to work, I think we'll need to change the repo configuration to require continuous-integration/jenkins/branch instead of continuous-integration/jenkins/pr-merge. We would also need to replace the "Require pull request reviews before merging" option with requiring the bors check to pass.

[cryslith]

bors try

[hyades-bors[bot]]

try

Timed out.

[cryslith]

bors try

[hyades-bors[bot]]

try

Build succeeded:

• ci/circleci: build
• continuous-integration/jenkins/branch

[celskeggs]

bors r+

[cryslith]

bors r+

[cryslith]

bors r+

[hyades-bors[bot]]

Build succeeded:

• ci/circleci: build
• continuous-integration/jenkins/branch

[cryslith]

Reset