From 1d815a409bcfd8d76b62f52274953c3ecadbb9a1 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Aug 11 2016 08:44:49 +0000
Subject: Document PAGURE_CI_SERVICES in the documentation


---

diff --git a/doc/configuration.rst b/doc/configuration.rst
index 42a36c0..ca83c75 100644
--- a/doc/configuration.rst
+++ b/doc/configuration.rst
@@ -515,3 +515,18 @@ which is useful for pagure instances running since before 1.3 but is not
 for newer instances.
 
 Defaults to: ``False``.
+
+
+PAGURE_CI_SERVICES
+~~~~~~~~~~~~~~~~~~
+
+Pagure can be configure to integrate results of a Continuous Integration (CI)
+service to pull-requests open against a project.
+
+To enable this integration, follow the documentation on how to install
+pagure-ci and set this configuration key to ``['jenkins']`` (Jenkins being
+the only CI service supported at the moment).
+
+Defaults to: ``None``.
+
+.. warning:: Requires `Redis` to be configured and running.