From 9fafe16a5513864d7c8e7f5d172abb0a1cb91d8b Mon Sep 17 00:00:00 2001
From: Charlie Marsh <charlie.r.marsh@gmail.com>
Date: Thu, 29 Dec 2022 19:38:27 -0500
Subject: [PATCH] Re-add GitHub badge to the bottom of the page

---
 playground/index.html | 8 ++++++++
 1 file changed, 8 insertions(+)
diff --git a/playground/index.html b/playground/index.html
index 588e2f851d..c25fdafcfb 100644
--- a/playground/index.html
+++ b/playground/index.html
@@ -17,6 +17,14 @@
   </head>
   <body>
     <div id="root"></div>
+    <div style="display: flex; position: fixed; right: 16px; bottom: 16px">
+      <a href="https://GitHub.com/charliermarsh/ruff"
+        ><img
+          src="https://img.shields.io/github/stars/charliermarsh/ruff.svg?style=social&label=GitHub&maxAge=2592000&?logoWidth=100"
+          alt="GitHub stars"
+          style="width: 120px"
+      /></a>
+    </div>
     <script type="module" src="/src/main.tsx"></script>
   </body>
 </html>
