From 77ea54ad9f6425616058e685d166331ff8050e3d Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Fri, 23 Dec 2022 17:01:25 +0200 Subject: [PATCH] Add edit button --- conf.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/conf.py b/conf.py index c899822f8..29563db50 100644 --- a/conf.py +++ b/conf.py @@ -33,7 +33,10 @@ ] html_theme = 'furo' -html_theme_options = {} +html_theme_options = { + "source_repository": "https://github.com/python/devguide", + "source_branch": "main", +} html_static_path = ['_static'] html_css_files = [ 'devguide_overrides.css',