Everybody can run their own patchbot to collect data, its not an either or
question. Just do
sage -f patchbot# install
sage --patchbot # run
On Tuesday, October 9, 2012 10:43:00 AM UTC+1, Nicolas M. Thiery wrote:
>
> Hi Volker!
>
> On Mon, Oct 08, 2012 at 05:03:50PM -0700, V
Hi Volker!
On Mon, Oct 08, 2012 at 05:03:50PM -0700, Volker Braun wrote:
>My desktop is still churning though tickets, it might take another day
>until it gets to this one...
In case this would be easy for you to setup, you are welcome to use
combinat.sagemath.org to run your patc
My desktop is still churning though tickets, it might take another day
until it gets to this one...
On Monday, October 8, 2012 11:52:16 PM UTC+1, bump wrote:
>
>
> On Monday, October 8, 2012 4:50:58 AM UTC-7, Volker Braun wrote:
>>
>> If you click on "log" then you see that the server timed out
On Monday, October 8, 2012 4:50:58 AM UTC-7, Volker Braun wrote:
>
> If you click on "log" then you see that the server timed out. This was
> sometime last week where the patchbot server was down. You can re-run the
> tests by adding ?kick to the url (I just did that, for the record)
>
> http://
If you click on "log" then you see that the server timed out. This was
sometime last week where the patchbot server was down. You can re-run the
tests by adding ?kick to the url (I just did that, for the record)
http://patchbot.sagemath.org/ticket/13461/?kick
On Monday, October 8, 2012 1:54:1