improve github_stats milestone link

ivanov · ivanov · commit 0f70a05af939 · 2019-06-30T22:31:13.000-07:00
diff --git a/tools/github_stats.py b/tools/github_stats.py
@@ -209,8 +209,8 @@ def report(issues, show_urls=False):
 
     print("We closed %d issues and merged %d pull requests." % (n_issues, n_pulls))
     if milestone:
-        print("The full list can be seen `on GitHub <https://github.com/%s/milestones/%s>`__"
-            % (project, milestone)
+        print("The full list can be seen `on GitHub <https://github.com/%s/milestone/%s?closed=1>`__"
+            % (project, milestone_id)
         )
 
     print()

Original file line number	Diff line number	Diff line change
`@@ -209,8 +209,8 @@ def report(issues, show_urls=False):`
`209`	`209`
`210`	`210`	`print("We closed %d issues and merged %d pull requests." % (n_issues, n_pulls))`
`211`	`211`	`if milestone:`
`212`		- print("The full list can be seen `on GitHub <https://github.com/%s/milestones/%s>`__"
`213`		`- % (project, milestone)`
	`212`	+ print("The full list can be seen `on GitHub <https://github.com/%s/milestone/%s?closed=1>`__"
	`213`	`+ % (project, milestone_id)`
`214`	`214`	`)`
`215`	`215`
`216`	`216`	`print()`