Fix GitHub star count value

dspinellis · Feb 1, 2024 · be4c8cb · be4c8cb
1 parent 7f677b3
commit be4c8cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -54,7 +54,7 @@
     'github_repo': 'alexandria3k',
     'github_banner': True,
     'github_type': 'star',
-    'github_count': True,
+    'github_count': 'true',
     # Add a custom sidebar template
     'extra_nav_links': {
         "Version: " + release: None