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",