From eefaf09adec77a003296a2abfdae84a0a805444c Mon Sep 17 00:00:00 2001 From: Niels de Vos Date: Tue, 27 Oct 2020 11:40:34 +0100 Subject: [PATCH] doc: add common bot commands to GitHub PR template By placing the common bot commands and their description in the PR template, developers are reminded on their usage. The idea comes from the Ceph project where this is done too. Signed-off-by: Niels de Vos --- .github/pull_request_template.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index faa8927b6..c9284acf4 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -33,3 +33,18 @@ Fixes: #issue_number List items that are not part of the PR and do not impact it's functionality, but are work items that can be taken up subsequently. + +--- + +
+Show available bot commands + +These commands are normally not required, but in case of issues, leave any of +the following bot commands in an otherwise empty comment in this PR: + +- `/retest ci/centos/`: retest the `` after unrelated + failure (please report the failure too!) +- `/retest all`: run this in case the CentOS CI failed to start/report any test + progress or results + +