DOC: reduce need to manually touch gh stats

phoenixlqh · Dec 18, 2016 · 595f4a1 · 595f4a1
1 parent 356cc74
commit 595f4a1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/tools/github_stats.py b/tools/github_stats.py
@@ -181,7 +181,11 @@ def report(issues, show_urls=False):
     n_total = n_issues + n_pulls
 
     # Print summary report we can directly include into release notes.
-
+    print('.. _github-stats:')
+    print()
+    print('Github Stats')
+    print('============')
+
     print()
     since_day = since.strftime("%Y/%m/%d")
     today = datetime.today().strftime("%Y/%m/%d")