From 4faec6f85181cff1cc75dbde6bd5c99b986b2e4f Mon Sep 17 00:00:00 2001
From: Rodolfo Carvalho <rhcarvalho@gmail.com>
Date: Tue, 9 May 2017 15:42:55 +0200
Subject: Note existence of Fedora tests and how to rerun

---
 docs/pull_requests.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/pull_requests.md b/docs/pull_requests.md
index 953563fb2..fcc3e275c 100644
--- a/docs/pull_requests.md
+++ b/docs/pull_requests.md
@@ -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
-- 
cgit v1.2.3