From e8e0aabfe927f1dedf3af736fd67e816a0e2fc22 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Fritze?= <rene.fritze@wwu.de>
Date: Wed, 15 Jul 2020 18:47:13 +0200
Subject: [PATCH] [sphinx] stop disaplying the repo link in top bar

---
 docs/source/conf.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 6da674582..267d51044 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -156,8 +156,6 @@ pygments_style = 'sphinx'
 html_theme = 'sphinx_material'
 html_theme_options = {
     'base_url': 'https://gh-docs.pymor.org/',
-    'repo_url': 'https://github.com/pymor/pymor/',
-    'repo_name': 'pyMOR',
     'html_minify': True,
     'css_minify': True,
     'nav_title': 'pyMOR Documentation',
-- 
GitLab