Add GitHub config

krassowski · Sep 25, 2023 · a548223 · a548223
1 parent 4c18e0c
commit a548223
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -205,6 +205,14 @@
     "use_edit_page_button": True,
 }
 
+# Output for github to be used in links
+html_context = {
+    "github_user": "jupyter",  # Username
+    "github_repo": "notebook",  # Repo name
+    "github_version": "main",  # Version
+    "doc_path": "docs/source/",  # Path in the checkout to the docs root
+}
+
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []