From edc833c5daabeacfcb0e0e759be3ed86b913bc37 Mon Sep 17 00:00:00 2001
From: OBS update bot <notify@dennogumi.org>
Date: Fri, 19 Jul 2024 18:19:03 +0200
Subject: [PATCH] Update configuration

---
 obs/config/repo_config.json | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/obs/config/repo_config.json b/obs/config/repo_config.json
index 7ff65df..dd97991 100644
--- a/obs/config/repo_config.json
+++ b/obs/config/repo_config.json
@@ -1442,10 +1442,18 @@
             "kde": "sdk/kde-dev-scripts",
             "branch": "master"
         },
-        "kdevelop5": {
+        "kdevelop": {
             "kde": "kdevelop/kdevelop",
             "branch": "master"
         },
+        "kdevelop-plugin-php": {
+            "kde": "kdevelop/kdev-php",
+            "branch": "master"
+        },
+        "kdevelop-plugin-python": {
+            "kde": "kdevelop/kdev-python",
+            "branch": "master"
+        },
         "kdf": {
             "kde": "utilities/kdf",
             "branch": "master"
@@ -2144,7 +2152,7 @@
             "kde": "kdevelop/kdev-ruby",
             "branch": "master"
         },
-        "kdevelop5-pg-qt": {
+        "kdevelop-pg-qt": {
             "kde": "kdevelop/kdevelop-pg-qt",
             "branch": "master"
         },