From 1ab5984a60f7a10690d0cd268282b4349b464031 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Micha=C5=82=20Krassowski?=
 <5832902+krassowski@users.noreply.github.com>
Date: Mon, 21 Oct 2024 10:01:04 +0100
Subject: [PATCH] Add link to GitHub repo in docs navbar (#589)

---
 docs/source/conf.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index f028ec75..c42bf91b 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -76,6 +76,13 @@
 
 # Add an Edit this Page button
 html_theme_options = {
+    "icon_links": [
+        {
+            "name": "GitHub",
+            "url": "https://github.com/jupyter-server/jupyter_releaser",
+            "icon": "fab fa-github-square",
+        }
+    ],
     "use_edit_page_button": True,
     "navigation_with_keys": False,
 }