On Fri, Jun 30, 2017 at 10:39:50AM +0200, Jeroen Demeyer wrote:
> OK, but the question becomes:
>
> Suppose a parent R is in Algebras(something), is it safe to assume that R is
> an algebra over R.base_ring()? In other words, what is the semantic of
> "base_ring"?
Hmm, good point. The funny
On Fri, Jun 30, 2017 at 4:04 PM, Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
> On 30/06/2017 13:53, Erik Bray wrote:
>>
>> On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote:
>>>
>>>
>>>
>>> On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote:
On 30/06/2017 13:53, Erik Bray wrote:
On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote:
On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote:
Does anyone who runs / administers Sage patchbots have any hints/tips
regarding monitoring of their patchbots?
I
On Fri, Jun 30, 2017 at 12:35 PM, Kwankyu Lee wrote:
>
>
> On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote:
>>
>> Does anyone who runs / administers Sage patchbots have any hints/tips
>> regarding monitoring of their patchbots?
>
>
> I run a patchbot using
On Friday, June 30, 2017 at 9:54:00 AM UTC+2, Erik Bray wrote:
>
> Does anyone who runs / administers Sage patchbots have any hints/tips
> regarding monitoring of their patchbots?
>
I run a patchbot using screen.
1. I use "screen -r" to see what the patchbot is doing currently.
2. I check
On 2017-06-29 19:41, Nicolas M. Thiery wrote:
Hi Jeroen,
On Tue, Jun 27, 2017 at 11:31:36AM +0200, Jeroen Demeyer wrote:
Suppose that R is some parent which is contained in the category Algebras(B)
for some ring B, how does one determine B from the parent R?
I am asking because I
Does anyone who runs / administers Sage patchbots have any hints/tips
regarding monitoring of their patchbots?
In particular there are two types of things I'd like to monitor:
1. General health status of the patchbot--is it up and running and how
many unique tickets has it tested, etc. Are the