diff --git a/docs/source/conf.py b/docs/source/conf.py index f8faa03a09b2..7f5fe9d43d5f 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -107,6 +107,12 @@ # a list of builtin themes. html_theme = "furo" +html_theme_options = { + "source_repository": "https://github.com/python/mypy", + "source_branch": "master", + "source_directory": "docs/source", +} + # 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.