On Wed, Jun 13, 2012 at 2:08 PM, Starx <jst...@gmail.com> wrote: >> To fix the patchbot problem, you can always run a patchbot >> instance yourself on this particular ticket and the new results will >> show up. > > Can I? I assumed I would need some kind of admin access to fiddle > with patchbot. How does one do this? > > -Jim >
Clone the Robert Bradshaw's patchbot repo here: https://github.com/robertwb/sage-patchbot and run something like: $ python patchbot.py --sage-root=$HOME/sage/sage-5.1.beta3 --ticket=14341 -- Benjamin Jones -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
