|author||Scott Dodson <firstname.lastname@example.org>||2017-05-10 13:46:37 -0400|
|committer||GitHub <email@example.com>||2017-05-10 13:46:37 -0400|
Merge pull request #4129 from rhcarvalho/document-redhat-ci-job
Note existence of Fedora tests and how to rerun
Diffstat (limited to 'docs')
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/pull_requests.md b/docs/pull_requests.md
index 953563fb2..fcc3e275c 100644
@@ -43,6 +43,15 @@ simplifying the workflow towards a single infrastructure in the future.
job is also posted to the Pull Request as comments and summarized at the
bottom of the Pull Request page.
+### Fedora tests
+There are a set of tests that run on Fedora infrastructure. They are started
+automatically with every pull request.
+They are implemented using the [`redhat-ci` framework](https://github.com/jlebon/redhat-ci).
+To re-run tests, write a comment containing `bot, retest this please`.
## Triggering merge
After a PR is properly reviewed and a set of