Merge pull request #22 from kraken-tech/add-edit-on-github-button

Add Edit On Github button
kraken-tech · Sep 16, 2024 · db7714b · db7714b
2 parents 6b8ecaf + 83ca470
commit db7714b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -15,3 +15,10 @@
 
 extensions = ["sphinx_rtd_theme"]
 html_theme = "sphinx_rtd_theme"
+
+html_context = {
+    "display_github": True,
+    "github_user": "kraken-tech",
+    "github_repo": "django-pg-migration-tools",
+    "github_version": "main/docs/",
+}