From 9fd7f7db049bb482bc4f1aa1508e6c23916e6f4c Mon Sep 17 00:00:00 2001
From: Fabio Manganiello <info@fabiomanganiello.com>
Date: Thu, 4 May 2023 01:05:27 +0200
Subject: [PATCH] Fixed compatibility with new Sphinx version

---
 docs/source/conf.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index ea9611eb3..a2d44a734 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -103,6 +103,7 @@ html_domain_indices = True
 html_theme_options = {
     'toc_title': 'Platypush documentation',
     'repository_url': 'https://git.platypush.tech/platypush/platypush',
+    'repository_provider': 'github',
     'use_repository_button': True,
     'use_issues_button': True,
     'use_fullscreen_button': True,
@@ -187,7 +188,7 @@ texinfo_documents = [
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
 
 # -- Options for todo extension ----------------------------------------------