From a2dab346f9e4da7cf2298bef1c973152f76a4f42 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Sat, 1 Oct 2022 14:51:04 +0200
Subject: [PATCH] CONTRIBUTING.md: mention bors

---
 CONTRIBUTING.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ff02a6c..5745bf0 100644
--- 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/