From bd96a628159a2154182d785b96dac461af2d4a59 Mon Sep 17 00:00:00 2001
From: Luca Beltrame <lbeltrame@kde.org>
Date: Wed, 10 Oct 2018 07:21:36 +0200
Subject: [PATCH] Update repository configuration

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

diff --git a/repo_config.json b/repo_config.json
index e3f9479..68c6258 100644
--- a/repo_config.json
+++ b/repo_config.json
@@ -1865,11 +1865,6 @@
             "obs": "kdevelop5-pg-qt",
             "branch": "master"
         },
-	{
-	    "kde": "kdev-clang-tidy",
-	    "obs": "kdevelop5-plugin-clang-tidy",
-	    "branch": "master"
-	},
         {
             "kde": "kdeconnect-kde",
             "obs": "kdeconnect-kde",