Excellent! And it confirmed that there are 4 of "my" tickets which
pass tests awaiting review (patches I have been using constantly for
several weeks now).
John
On 7 November 2015 at 05:36, Frédéric Chapoton wrote:
> Dear all,
>
> I just have made so that one can now use the following permanent
Dear all,
I just have made so that one can now use the following permanent bookmark
to monitor the patchbot results on one's tickets:
http://patchbot.sagemath.org/?base=develop&participant=was
Replacing "was" by your own login will give results for tickets you have
been involved in.
It will a