Fix the star count.

Mariatta · vstinner · commit 9eaadb3b04b3 · 2017-11-09T01:49:21.000-08:00
diff --git a/conf.py b/conf.py
@@ -146,7 +146,7 @@
 # documentation.
 #
 html_theme_options = {
-    'github_user': 'asyncio-doc',
+    'github_user': 'asyncio-docs',
     'github_repo': 'asyncio-doc',
     'github_banner': True,
     'github_type': 'star',
