From f4eab986a96f54c16ffeb544da93ac1a24c1a2a9 Mon Sep 17 00:00:00 2001
From: Coconut <85353552+Coconutat@users.noreply.github.com>
Date: Mon, 4 Dec 2023 11:28:28 +0800
Subject: [PATCH] =?UTF-8?q?repos.json:Rename=20Xiaomi=20Mi=208=20Pro(UD)[e?=
 =?UTF-8?q?quuleus]/Explorer=20Edition[ursa=E2=80=A6=20(#1181)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

…] repo name and link
***
Xiaomi Mi 8 Pro(UD)[equuleus]/Explorer Edition[ursa] Repo name has
change.
 So I change the repos.json.
---
 website/docs/repos.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/website/docs/repos.json b/website/docs/repos.json
index e82f194d..aefdc26a 100644
--- a/website/docs/repos.json
+++ b/website/docs/repos.json
@@ -422,8 +422,8 @@
     {
         "maintainer": "Coconutat",
         "maintainer_link": "https://github.com/Coconutat",
-        "kernel_name": "android_kernel_xiaomi_sdm845_exp",
-        "kernel_link": "https://github.com/Coconutat/android_kernel_xiaomi_sdm845_exp",
+        "kernel_name": "android_kernel_xiaomi_sdm845_byd_exp",
+        "kernel_link": "https://github.com/Coconutat/android_kernel_xiaomi_sdm845_byd_exp",
         "devices": "Xiaomi Mi 8 Pro(UD)[equuleus]/Explorer Edition[ursa]"
     },
     {