#20313: upgrade patchbot to 2.5.5
-------------------------------------+-------------------------------------
       Reporter:  chapoton           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-7.2
      Component:  packages:          |   Resolution:
  optional                           |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  Frédéric Chapoton  |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  u/chapoton/20313   |  51d724e70350158b5fa6f1280b9bbcb7876b9f8d
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by chapoton):

 * cc: embray, vdelecroix (added)


Old description:

> Here is a small update of the patchbot.
>
> Only very minor changes on the client side, so it should work just as
> now.
>
> Tarball: ​​http://chapoton.perso.math.cnrs.fr/patchbot-2.5.4.tar.bz2

New description:

 Here is an update of the patchbot.

 It should work just as now.

 The changes on the client side are:

 - cleanup of treatment of options
 - new option to disactivate utf8 banner
 - change in GIT dates to avoid a git bug

 Some of these are efforts towards having patchbots that can run in a
 virtual machine or a docker container.

 Tarball: ​​http://chapoton.perso.math.cnrs.fr/patchbot-2.5.5.tar.bz2

--

--
Ticket URL: <http://trac.sagemath.org/ticket/20313#comment:6>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to