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 f59c23b..a164461 100644
--- a/docs/_themes/sphinx_rtd_theme_violet/layout.html
+++ b/docs/_themes/sphinx_rtd_theme_violet/layout.html
@@ -176,10 +176,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>
