From 13b6db355d0df11b7dbed93ef4195a6f4f12b09f Mon Sep 17 00:00:00 2001
From: Andy Pan <i@andypan.me>
Date: Mon, 23 Dec 2024 22:27:41 +0800
Subject: [PATCH] Bump up GitHub stars

---
 src/theme/Navbar/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/Navbar/index.js b/src/theme/Navbar/index.js
index e735720d2..5d64c4675 100644
--- a/src/theme/Navbar/index.js
+++ b/src/theme/Navbar/index.js
@@ -33,7 +33,7 @@ function navLinkAttributes(label, right) {
       return attrs;
 
     case 'github':
-      attrs.badge = '9.8k';
+      attrs.badge = '9.9k';
       attrs.hideText = false;
       attrs.icon = 'github';
       return attrs;