Re: [sage-devel] patchbot Internal Server Error

2016-10-07 Thread Eric Gourgoulhon
Le vendredi 7 octobre 2016 13:29:55 UTC+2, Thierry (sage-googlesucks@xxx) a écrit : > > Hi, > > the log acknowledged an error, but it was very unclear, i relaunched the > services and it seems to work now. > > Thank you Thierry! Eric. -- You received this message because you are subscribed

Re: [sage-devel] patchbot Internal Server Error

2016-10-07 Thread Thierry
Hi, the log acknowledged an error, but it was very unclear, i relaunched the services and it seems to work now. Ciao, Thierry On Fri, Oct 07, 2016 at 12:51:11AM -0700, Eric Gourgoulhon wrote: > Hi, > > Since yesterday, whenever I try to read some patchbot report about a > ticket, I'm getting

[sage-devel] patchbot Internal Server Error

2016-10-07 Thread Eric Gourgoulhon
Hi, Since yesterday, whenever I try to read some patchbot report about a ticket, I'm getting the message Internal Server Error from https://patchbot.sagemath.org/ Is it only me ? Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubs