From c505b5bb1de86af0103cd19bd40221fb5228b992 Mon Sep 17 00:00:00 2001
From: em <eugen.mayer@kontextwork.de>
Date: Sat, 3 Aug 2024 08:47:39 +0200
Subject: [PATCH] Add rdt edit-on-github button

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

diff --git a/docs/conf.py b/docs/conf.py
index e1ea054..aa9880c 100644
--- 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
+}