From 84d446fa3d868f69969a9c477f13e1b03250b066 Mon Sep 17 00:00:00 2001
From: Luca Beltrame <lbeltrame@kde.org>
Date: Tue, 26 Feb 2019 09:31:55 +0100
Subject: [PATCH] Update configuration

---
 repo_config.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repo_config.json b/repo_config.json
index 8b74600..644844b 100644
--- a/repo_config.json
+++ b/repo_config.json
@@ -1760,6 +1760,11 @@
             "obs": "okteta",
             "branch": "master"
         },
+        {
+            "kde": "kile",
+            "obs": "kile5",
+            "branch": "master"
+	},
         {
             "kde": "kdevplatform",
             "obs": "kdevplatform",