From c305dca5ab241fc9f56bff3148e47c08f4af077f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E7=A7=8B=E7=A7=8B?= <3487467850@qq.com>
Date: Sat, 23 Dec 2023 12:48:55 +0800
Subject: [PATCH] Remove device:non-GKI kernel(OnePlus 8 Serials) that are no
 longer maintained (#1223)

Say goodbye
---
 website/docs/repos.json | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/website/docs/repos.json b/website/docs/repos.json
index 4c1a2b97..acc106ac 100644
--- a/website/docs/repos.json
+++ b/website/docs/repos.json
@@ -118,13 +118,6 @@
         "kernel_link": "https://github.com/Rohail33/Realking_kernel_sm8250",
         "devices": "Apollo(Redmi K30S Ultra/Mi 10T/Mi 10T Pro)\uff0cAlioth(Redmi K40/POCO F3/Mi 11X)\uff0cMunch(Redmi K40S/POCO F4), both MIUI and AOSP."
     },
-    {
-        "maintainer": "lateautumn233",
-        "maintainer_link": "https://github.com/lateautumn233",
-        "kernel_name": "android_kernel_oneplus_sm8250",
-        "kernel_link": "https://github.com/lateautumn233/android_kernel_oneplus_sm8250",
-        "devices": "OnePlus 8 Serials"
-    },
     {
         "maintainer": "PSavarMattas",
         "maintainer_link": "https://github.com/psavarmattas",