Thanks, Frederic. Your suggestions differs from Volker's in several ways, which underlines the need, I think, for all this to be documented somewhere!
* I installed the spkg instead of downloading a new repository from github * I ran it on a machine where I had a clean 5.11 build and which I was not using for anything else to do with sage, whcih seemed safe * It started running happily, it seemed, though as I reported there is one ticket which it runs over and over again (I just stopped it after about an hour as it was clearly wasting time). I did not specifically want to run the patchbot on my own tickets, but on everything as a service to the community. But for that, more documentation is needed. Perhaps this is something which should waint until the long-awaited transition to git. John On 2 October 2013 13:37, Frédéric Chapoton <[email protected]> wrote: > Hello, > > If you want to run a patchbot on your own tickets, I would suggest the > following : > > 0) upload (i.e. clone) the latest patchbot from here : > https://github.com/robertwb/sage-patchbot > > Then in a shell > > 1) cd sage-patchbot/src > > 2) ipython > > 3) from patchbot import Patchbot > > 4) P=Patchbot('your sage home here', "http://patchbot.sagemath.org/",None) > > 5) P.test_a_ticket(13615) > > This will run a patchbot on ticket 13615 and report the result to the common > website. > > This is not guaranteed to work. I had to first create a sage-0 clone in my > mercurial-style sage for this to work. And you probably need to make sure > that sage-main is clean and with no patches applied. > > Cheers, > > Frederic > > > Le mardi 1 octobre 2013 22:56:21 UTC+2, John Cremona a écrit : >> >> The patchbot puts a blob on ticket >> http://trac.sagemath.org/ticket/13615 which to me looks dark grey and >> hence bad news. But when I click on the blob I see the page >> http://patchbot.sagemath.org/ticket/13615/ which has a green blob >> saying "tests passed". Is there a reason for this not to get merged >> for 5.13? What does all this mean? >> >> John > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" 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-devel. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sage-devel" 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-devel. For more options, visit https://groups.google.com/groups/opt_out.
