#18937: Upgrade patchbot again
-------------------------------------+-------------------------------------
Reporter: chapoton | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.9
Component: packages: | Resolution:
optional | Merged in:
Keywords: patchbot | Reviewers: Jeroen Demeyer,
Authors: Frédéric Chapoton | Nathann Cohen, Vincent Delecroix
Report Upstream: N/A | Work issues:
Branch: u/chapoton/18937 | Commit:
Dependencies: | 5f5706434f184eafc41ed4c0dad9b76abe1293b7
| Stopgaps:
-------------------------------------+-------------------------------------
Old description:
> A lot of work has been done on the patchbot since the latest update in
> #16872.
>
> In particular, the ascii plugin now looks for unicode only in .py[x]
> missing utf8 declaration, and the patchbot does not look at spkg tickets
> more than once per day.
>
> '''Tarball''':
> [http://chapoton.perso.math.cnrs.fr/patchbot-2.4.7.tar.bz2]
New description:
A lot of work has been done on the patchbot since the latest update in
#16872.
In particular, the ascii plugin now looks for unicode only in .py[x]
missing utf8 declaration, and the patchbot does not look at spkg tickets
more than once per day.
There is also an improvement in the system of trust check for code
authors.
'''Tarball''': [http://chapoton.perso.math.cnrs.fr/patchbot-2.4.8.tar.bz2]
--
Comment (by chapoton):
This new version should fix the issue with wrong "reporting test failure
as pending".
Could you please run that on librae and arando ?
--
Ticket URL: <http://trac.sagemath.org/ticket/18937#comment:90>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
