Add rdt edit-on-github button

igronus · Aug 3, 2024 · c505b5b · c505b5b
1 parent 8575333
commit c505b5b
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -190,3 +190,11 @@
 
 # If true, `todo` and `todoList` produce output, else they produce nothing.
 todo_include_todos = True
+
+html_context = {
+  "display_github": True, # Integrate GitHub
+  "github_user": "EugenMayer", # Username
+  "github_repo": "docker-sync", # Repo name
+  "github_version": "main", # Version
+  "conf_py_path": "/docs/", # Path in the checkout to the docs root
+}