#20736: Upgrade patchbot to 2.6.1 as a system package
-------------------------------------+-------------------------------------
       Reporter:  chapoton           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-7.3
      Component:  packages:          |   Resolution:
  optional                           |
       Keywords:  patchbot           |    Merged in:
        Authors:  Frédéric Chapoton  |    Reviewers:  Jeroen Demeyer
Report Upstream:  N/A                |  Work issues:
         Branch:  public/20736       |       Commit:
                                     |  897f5b220c7eb63a994853092be376d62e40fe39
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by chapoton):

 Replying to [comment:43 vdelecroix]:
 > If I install the package on my system Python, then doing
 > {{{
 > $ python -m sage_patchbot.patchbot
 > }}}

 Thanks for the feedback.

 These are not the instructions on how to run the patchbot given in the
 ticket description.

 But this will be another possible way.

 Librae is meeting a whole bunch of doctest failure with lrslib. Maybe it
 should be checked that the bot is not causing them.

 Concerning pypi, it may be simpler once done, but I am not really ready to
 add yet another layer of complexity.

 Concerning the log, I would prefer to postpone the problem, once the new
 setting is in place.

--
Ticket URL: <https://trac.sagemath.org/ticket/20736#comment:48>
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