From 49f0eec8ebf451fed3691ce568507dac1035734a Mon Sep 17 00:00:00 2001
From: Pierre-Yves Chibon <pingou@pingoured.fr>
Date: Wed, 9 Aug 2017 19:43:12 +0200
Subject: [PATCH] Pagure on dist-git is case sensitive

---
 roles/distgit/pagure/templates/pagure.cfg | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/roles/distgit/pagure/templates/pagure.cfg b/roles/distgit/pagure/templates/pagure.cfg
index 1c574a411e..0b28f33a63 100644
--- a/roles/distgit/pagure/templates/pagure.cfg
+++ b/roles/distgit/pagure/templates/pagure.cfg
@@ -224,6 +224,8 @@ PDC_URL = 'https://pdc.fedoraproject.org/rest_api/v1/'
 GITOLITE_BACKEND = 'distgit'
 GITOLITE_CELERY_QUEUE = 'gitolite_queue'
 
+CASE_SENSITIVE = True
+
 THEME_TEMPLATE_FOLDER = '/usr/share/pagure_dist_git/template/'
 
 USER_ACLS = [