Hi Frederic, I can provide you an account on the arando box, so that you can have your own instance of a "really" running patchbot. How about that? Dima
On Tuesday, 21 April 2015 07:15:13 UTC+1, Frédéric Chapoton wrote: > > Hello Jeroen, > > 1) I am sorry for having released a broken patchbot without testing it. > All my apologies. As far as I know, 2.3.3 is now repaired. > 2) the *only current working patchbot* seems to be pcl337b, running > patchbot 2.3.2 probably with --skip-base > All the other machines seem to meet various problems. I think that any > version <= 2.3.1 should be discarded. > 3) If you meet some problem with 2.3.3 please let me know. > 4) I have already made some more minor corrections, but I will not release > 2.3.4 without testing it myself. > 5) the situation concerning unsafe tickets needs more care. I am currently > concentrating on having the patchbot > working correctly on safe tickets. > > Frederic > > Le lundi 20 avril 2015 21:52:23 UTC+2, Jeroen Demeyer a écrit : >> >> On 2015-04-19 13:21, Vincent Delecroix wrote: >> > Hello, >> > >> > It seems that the patchbot >> > >> > Gentoo Base System/2.2/x86_64/3.2.1-gentoo-r2/sage4 >> > >> > is somewhat broken! (it fails at a very early step while other build >> bot >> > did well) >> >> Once the new patchbot proves that it actually works better than the >> current one, I will upgrade. I am still constantly struggling to get the >> new patchbot to work correctly on arando, so I don't see why I should >> also potentially bring sage4 in trouble. >> >> -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.