Remove broken GitHub fork button

dspinellis · Feb 1, 2024 · 6e71922 · 6e71922
1 parent be4c8cb
commit 6e71922
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -52,7 +52,6 @@
     'description': 'Local relational access to openly-available publication data sets',
     'github_user': 'dspinellis',
     'github_repo': 'alexandria3k',
-    'github_banner': True,
     'github_type': 'star',
     'github_count': 'true',
     # Add a custom sidebar template