Merge #474

474: Add contributing docs for bors r=Mic92 a=Mic92 Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
2022-10-01 12:52:09 +00:00 · 2022-10-01 12:52:09 +00:00 · 3024c67a2e
parent 55826e8997 a2dab346f9
commit 3024c67a2e
1 changed files with 8 additions and 0 deletions
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@ -53,3 +53,11 @@ You can also just specify a single profile like this:

 Because profiles can only be tested with the appropriate hardware, quality
 assurance is up to *you*.
+
+# For reviewers:
+
+This repository has bors enabled for easier merging after a successfull build:
+
+* `bors try` - check if the PR builds.
+* `bors merge` - same as `bors try` but will also merge the PR if it builds successfully.
+* https://bors.tech/documentation/