Description: Disable GitHub button
 The documentation should not contain GitHub buttons, as this is a privacy
 breach: https://lintian.debian.org/tags/privacy-breach-generic
Author: Michel Lind <michel@michel-slm.name>
Forwarded: not-needed
Last-Update: 2025-04-18
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -51,7 +51,7 @@ html_theme_options = {
     "logo_text_align": "center",
     "github_user": "osandov",
     "github_repo": "drgn",
-    "github_button": True,
+    "github_button": False,
     "github_type": "star",
 }