From: Alexis Murzeau <amubtdx@gmail.com>
Date: Sun, 23 Apr 2017 15:54:58 +0200
Subject: Remove GitHub Buttons without replacement

Upstream includes buttons to GitHub that display how
often the project was starred. Due to privacy concerns
these are removed from the documentation in Debian.

Forwarded: not-needed
Author: Stefan Breunig <stefan-debian@yrden.de>
---
 docs/_themes/sphinx_rtd_theme_violet/layout.html | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/docs/_themes/sphinx_rtd_theme_violet/layout.html b/docs/_themes/sphinx_rtd_theme_violet/layout.html
index affe907..f6e5f1d 100644
--- a/docs/_themes/sphinx_rtd_theme_violet/layout.html
+++ b/docs/_themes/sphinx_rtd_theme_violet/layout.html
@@ -181,10 +181,6 @@
   {% endif %}
 
 
-  {% if theme_github_user and theme_github_repo %}
-  <script async defer id="github-bjs" src="https://buttons.github.io/buttons.js"></script>
-  {% endif %}
-
   {%- block footer %} {% endblock %}
 
 </body>
