From fce196ad4af4947148a6df8e0e1c9d1de2551450 Mon Sep 17 00:00:00 2001
From: Lars Karlitski <lars@karlitski.net>
Date: Fri, 28 Jun 2019 18:37:45 +0200
Subject: [PATCH] test/README.md: Add section explaining GitHub integration

---
 test/README.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/test/README.md b/test/README.md
index abd8e854..f834cdff 100644
--- a/test/README.md
+++ b/test/README.md
@@ -58,3 +58,20 @@ To get the latest images you need to update it manually (in order not to poll
 GitHub every time):
 
     $ make -B bots
+
+## GitHub integration
+
+Tests are automatically triggered for every pull request. To disable tests for
+a pull request, add the `no-test` label when opening it.
+
+To interact with GitHub from scripts in `bots/`, generate [a
+token](https://github.com/settings/tokens) with at least *repo:status*,
+*public_repo*, and *read:org* permissions, and put it into
+`~/.config/github-token`.
+
+You can retry a failed test with:
+
+    $ bots/tests-trigger --repo weldr/lorax <PR> <test>
+
+If no test is given, all failed tests will be retried. Pass `--allow` to
+trigger tests on a pull request by an outside contributor.