Link to GitHub repo from the docs

docs/source/conf.py

@@ -150,7 +150,17 @@
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-html_theme_options = {"navigation_with_keys": False}
+html_theme_options = {
+    "icon_links": [
+        {
+            "name": "GitHub",
+            "url": "https://github.com/jupyter-server/jupyter_server",
+            "icon": "fab fa-github-square",
+        }
+    ],
+    "navigation_with_keys": False,
+    "use_edit_page_button": True
+}
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []