From 80797548b5c759dfbf9ec50313d10944fc4c2434 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Wed, 25 Oct 2023 08:36:52 +0800
Subject: [PATCH] [add device]: non-GKI ginkgo (#1086)

non-GKI ginkgo has been added to the website.
Related issue: https://github.com/tiann/KernelSU/issues/1085

Co-authored-by: GitHub Actions <41898282+github-actions[bot]@users.noreply.github.com>
---
 website/docs/repos.json | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/website/docs/repos.json b/website/docs/repos.json
index 3600b661..a72653dc 100644
--- a/website/docs/repos.json
+++ b/website/docs/repos.json
@@ -523,5 +523,12 @@
         "kernel_name": "kernel_xiaomi_sm8350",
         "kernel_link": "https://github.com/supechicken/kernel_xiaomi_sm8350",
         "devices": " Xiaomi 11T Pro (vili)"
+    },
+    {
+        "maintainer": "whyakari",
+        "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"
     }
 ]
\ No newline at end of file