From ab47c7d93a4c2dfcbcac49d090dbd081b02e6d6b Mon Sep 17 00:00:00 2001
From: Anatoli Babenia <anatoli@rainforce.org>
Date: Wed, 4 Dec 2024 13:47:10 +0300
Subject: [PATCH] Add "Edit on GitHub" links

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

diff --git a/docs/conf.py b/docs/conf.py
index adfa235251..50187b4215 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -203,6 +203,16 @@ def _load_theme(
 # a list of builtin themes.
 html_theme = HTML_THEME
 
+print("Using theme: " + HTML_THEME)
+
+### Edit on GitHub feature, inherited by renku theme from rtd theme
+html_context = {
+    'display_github': True,
+    'github_user': 'teemtee',
+    'github_repo': 'tmt',
+    'github_version': 'main/docs/'
+    }
+
 # 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.