bors: init

divnix · Mar 13, 2021 · 2ce8203 · 2ce8203
1 parent 4ada526
commit 2ce8203
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Build](https://img.shields.io/github/checks-status/divnix/devos/core)](https://hercules-ci.com/github/divnix/devos/jobs)
+[![Bors enabled](https://bors.tech/images/badge_small.svg)](https://app.bors.tech/repositories/32678)
 [![MIT License](https://img.shields.io/github/license/divnix/devos)][mit]
 [![NixOS 20.09](https://img.shields.io/badge/NixOS-v20.09-blue.svg?style=flat&logo=NixOS&logoColor=white)](https://nixos.org)
 

diff --git a/bors.toml b/bors.toml
@@ -0,0 +1,10 @@
+status = [
+  "ci/hercules/evaluation",
+  "ci/hercules/derivations"
+]
+
+required_approvals = 1
+
+up_to_date_approvals = true
+
+delete_merged_branches = true
diff --git a/doc/CONTRIBUTING.md b/doc/CONTRIBUTING.md
diff --git a/doc/README.md b/doc/README.md
@@ -4,6 +4,8 @@ relevant docs. Each directory contains its own README.md, which will
 automatically be pulled into the [mdbook](https://devos.divnix.com). The book is
 rendered on every change, so the docs should always be up to date.
 
+We also use [BORS](https://bors.tech) to ensure that all pull requests pass the
+test suite once at least one review is completed.
 
 ## Community PRs
 While much of your work in this template may be idiosyncratic in nature. Anything