From f46830f28f6a0e0c05f7678558b89b871fb41d87 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=98=8E?= Date: Fri, 8 Dec 2023 03:53:28 -0300 Subject: [PATCH] repos.json: rename device: non-gki ginkgo (#1192) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit for Xiaomi Redmi Note 8/8T (ginkgo/willow) assign the correct device name --------- Signed-off-by: 明 Signed-off-by: akari --- 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 c96ba535..cc5b7b89 100644 --- a/website/docs/repos.json +++ b/website/docs/repos.json @@ -529,7 +529,7 @@ "maintainer_link": "https://github.com/whyakari", "kernel_name": "android_kernel_xiaomi_ginkgo", "kernel_link": "https://github.com/whyakari/android_kernel_xiaomi_ginkgo", - "devices": "non-GKI ginkgo" + "devices": "Xiaomi Redmi Note 8/8T (ginkgo/willow)" }, { "maintainer": "wulan17", @@ -587,4 +587,4 @@ "kernel_link": "https://github.com/picasso09/RMX2189R/tree/c05-ksu", "devices": "Realme C11 12 15 (RM6765)" } -] \ No newline at end of file +]