Configure GitHub links

dspinellis · Feb 1, 2024 · 7b43f05 · 7b43f05
1 parent d507859
commit 7b43f05
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -52,6 +52,9 @@
     '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
     'extra_nav_links': {
         "Version: " + release: None