repos.json: rename device: non-gki ginkgo (#1192)

for Xiaomi Redmi Note 8/8T (ginkgo/willow) assign the correct device name --------- Signed-off-by: 明 <[email protected]> Signed-off-by: akari <[email protected]>
tiann · Dec 8, 2023 · f46830f · f46830f
1 parent c560d60
commit f46830f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)"
     }
-]
+]