From: Nick Morrott <knowledgejunkie@gmail.com>
Date: Sun, 24 May 2020 10:21:35 -0700
Subject: Disable creation of Github buttons in sphinx documentation

Forwarded: not-needed
Last-Update: 2018-12-21

Last-Update: 2018-12-21
---
 docs/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/conf.py b/docs/conf.py
index b0d355d..9c8eadf 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -97,6 +97,8 @@ html_theme_options = {
     'logo_text_align': 'center',
     'github_user': 'mu-editor',
     'github_repo': 'mu',
+    'github_banner': 'false',
+    'github_button': 'false',
 }
 
 html_sidebars = {
