From 7bee87c3c757b77e973309b816ba40ed1029e7dc Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Aug 09 2016 15:30:21 +0000
Subject: Also set-up redis if pagure-ci is configured


---

diff --git a/pagure/__init__.py b/pagure/__init__.py
index cd09e14..ceb0a06 100644
--- a/pagure/__init__.py
+++ b/pagure/__init__.py
@@ -167,7 +167,9 @@ if APP.config.get('PAGURE_AUTH', None) in ['fas', 'openid']:
 
 SESSION = pagure.lib.create_session(APP.config['DB_URL'])
 REDIS = None
-if APP.config['EVENTSOURCE_SOURCE'] or APP.config['WEBHOOK']:
+if APP.config['EVENTSOURCE_SOURCE'] \
+        or APP.config['WEBHOOK'] \
+        or APP.config['PAGURE_CI_SERVICES']:
     pagure.lib.set_redis(
         host=APP.config['REDIS_HOST'],
         port=APP.config['REDIS_PORT'],