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

for Xiaomi Redmi Note 8/8T (ginkgo/willow)

assign the correct device name

---------

Signed-off-by: 明 <akariondev@gmail.com>
Signed-off-by: akari <akariondev@gmail.com>
This commit is contained in:
2023-12-08 03:53:28 -03:00
committed by GitHub
parent c560d603e6
commit f46830f28f

View File

@@ -529,7 +529,7 @@
"maintainer_link": "https://github.com/whyakari", "maintainer_link": "https://github.com/whyakari",
"kernel_name": "android_kernel_xiaomi_ginkgo", "kernel_name": "android_kernel_xiaomi_ginkgo",
"kernel_link": "https://github.com/whyakari/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", "maintainer": "wulan17",