diff --git a/doc/tools/plot_pr.py b/doc/tools/plot_pr.py index 96860e7f..aa9a6653 100644 --- a/doc/tools/plot_pr.py +++ b/doc/tools/plot_pr.py @@ -22,7 +22,7 @@ cache = '_pr_cache.txt' releases = OrderedDict([ #('0.1', u'2009-10-07 13:52:19 +0200'), #('0.2', u'2009-11-12 14:48:45 +0200'), - ('0.3', u'2011-10-10 03:28:47 -0700'), + #('0.3', u'2011-10-10 03:28:47 -0700'), ('0.4', u'2011-12-03 14:31:32 -0800'), ('0.5', u'2012-02-26 21:00:51 -0800'), ('0.6', u'2012-06-24 21:37:05 -0700'), @@ -123,11 +123,12 @@ for l in labels: for version, date in releases.items(): date = seconds_from_epoch([date])[0] plt.axvline(date, color='r', label=version) + plt.text(date, n.max() * 0.9, version, color='orange', rotation=90, + fontsize=16) plt.title('Pull request activity').set_y(1.05) plt.xlabel('Date') plt.ylabel('PRs per month') -plt.legend(loc=2, title='Release') plt.subplots_adjust(top=0.875, bottom=0.225) import numpy as np