CONTRIBUTING.md: mention bors

This commit is contained in:
Jörg Thalheim 2022-10-01 14:51:04 +02:00
parent 55826e8997
commit a2dab346f9
1 changed files with 8 additions and 0 deletions

View File

@ -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/