Re: [sage-devel] Re: patchbot server not responding

2016-07-27 Thread Thierry
Hi, On Tue, Jul 26, 2016 at 11:46:03AM -0700, Frédéric Chapoton wrote: > Hello, > > I can log on patchbot.sagemath.org (as well as R. Bradshaw, R. A. Ohana and > M. Marco) > > I do not have the technical comptetence to move the patchbot server > elsewhere. This probably involves at least setti

Re: [sage-devel] Re: patchbot server not responding

2016-07-26 Thread Frédéric Chapoton
Hello, I can log on patchbot.sagemath.org (as well as R. Bradshaw, R. A. Ohana and M. Marco) I do not have the technical comptetence to move the patchbot server elsewhere. This probably involves at least setting up a web server and copying the report database (which is at least 20GB large, and

Re: [sagemath-admins] Re: [sage-devel] Re: patchbot server not responding

2016-07-22 Thread Harald Schilly
On Fri, Jul 22, 2016 at 9:44 AM, Samuel Lelièvre wrote: >> I can log in. Andrew Ohana was the one to give me access. >> He told me the other people with access were himself, Harald and Volker. >> I asked about adding more people, he said fine as long as Harald agrees, >> so Harald is the boss ther

Re: [sagemath-admins] Re: [sage-devel] Re: patchbot server not responding

2016-07-22 Thread Samuel Lelièvre
2016-07-22 9:19 GMT+02:00 Samuel Lelièvre: > I can log in. Andrew Ohana was the one to give me access. > He told me the other people with access were himself, Harald and Volker. > I asked about adding more people, he said fine as long as Harald agrees, > so Harald is the boss there. My answer abo

Re: [sagemath-admins] Re: [sage-devel] Re: patchbot server not responding

2016-07-22 Thread Samuel Lelièvre
I can log in. Andrew Ohana was the one to give me access. He told me the other people with access were himself, Harald and Volker. I asked about adding more people, he said fine as long as Harald agrees, so Harald is the boss there. Samuel 2016-07-21 20:55 GMT+02:00 William Stein : > Hi, > > I r

Re: [sage-devel] Re: patchbot server not responding

2016-07-21 Thread Volker Braun
I can log in on fileserver.sagemath.org; This is the machine where I upload sage and third-party tarballs, it then feeds it to the mirrors. I don't know the details about the mirroring, I think Harald set that up. On Thursday, July 21, 2016 at 8:56:19 PM UTC+2, William wrote: > > Hi, > > I re

Re: [sage-devel] Re: patchbot server not responding

2016-07-21 Thread William Stein
Hi, I rebooted the host machine and both fileserver.sagemath.org and patchbot.sagemath.org respond to ssh requests. I do NOT have any clue how to actually login to either machine. I was also completely unable to login to the machine that hosts them as well. Yes, I tried using a rescue disk and c

[sage-devel] Re: patchbot server not responding

2016-07-21 Thread leif
Volker Braun wrote: > Please check up on fileserver.sagemath.org, too, while you are at it... Yes, their IPs differ by just one... ;-) -leif > On Thursday, July 21, 2016 at 2:20:17 AM UTC+2, William wrote: > > On Wed, Jul 20, 2016 at 12:39 PM, Frédéric Chapoton > > wrote: > > Anyt