1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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",
}
|
