From 66679b1a2a3ed51148dad6970c6f84263aae530d 2015-04-03 20:21:43
From: Min RK <benjaminrk@gmail.com>
Date: 2015-04-03 20:21:43
Subject: [PATCH] fix milestone link in github_stats
---

diff --git a/tools/github_stats.py b/tools/github_stats.py
index 65691f0..7465557 100755
--- a/tools/github_stats.py
+++ b/tools/github_stats.py
@@ -212,7 +212,7 @@ if __name__ == "__main__":
 
     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/milestone/%s>`"
+        print("The full list can be seen `on GitHub <https://github.com/%s/milestones/%s>`_"
             % (project, milestone)
         )