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, 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 patchbot. Especially on 
> sage-combinat patches :-) 
>
> Cheers, 
>                                 Nicolas 
> -- 
> Nicolas M. Thi�ry "Isil" <nth...@users.sf.net <javascript:>> 
> http://Nicolas.Thiery.name/ 
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/sage-combinat-devel/-/BPmow6FmGQQJ.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.

Reply via email to