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 <ndevos@redhat.com>
This commit is contained in:
Niels de Vos 2020-10-27 11:40:34 +01:00 committed by mergify[bot]
parent 523d813b4e
commit eefaf09ade

View File

@ -33,3 +33,18 @@ Fixes: #issue_number
List items that are not part of the PR and do not impact it's 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. functionality, but are work items that can be taken up subsequently.
---
<details>
<summary>Show available bot commands</summary>
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/<job-name>`: retest the `<job-name>` 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
</details>