Re: [Gluster-devel] [Gluster-infra] build.gluster.org downtime on 20th June

2017-06-19 Thread Michael Scherer
Le mardi 20 juin 2017 à 00:19 +0530, Nigel Babu a écrit : > Other than Gerrit, the rest can be rebooted ruthlessly. Not jenkins, as it will lose jobs, iirc And we could also need to reboot hypervisors. I will spend some more time on the proposed mitigation, maybe just a restart of userspace

Re: [Gluster-devel] [Gluster-infra] build.gluster.org downtime on 20th June

2017-06-19 Thread Nigel Babu
Other than Gerrit, the rest can be rebooted ruthlessly. On 19-Jun-2017 23:16, "Michael Scherer" wrote: > Le lundi 19 juin 2017 à 17:55 +0200, Michael Scherer a écrit : > > Le lundi 19 juin 2017 à 17:12 +0530, Nigel Babu a écrit : > > > Hello folks, > > > > > > We'll be

Re: [Gluster-devel] [Gluster-infra] build.gluster.org downtime on 20th June

2017-06-19 Thread Michael Scherer
Le lundi 19 juin 2017 à 17:55 +0200, Michael Scherer a écrit : > Le lundi 19 juin 2017 à 17:12 +0530, Nigel Babu a écrit : > > Hello folks, > > > > We'll be having a short downtime for build.gluster.org on 20th June 2017 > > (tomorrow). > > > > Date: 20th June 2017 > > Time: 0230 UTC (2230 EDT /

Re: [Gluster-devel] [Gluster-infra] build.gluster.org downtime on 20th June

2017-06-19 Thread Michael Scherer
Le lundi 19 juin 2017 à 17:12 +0530, Nigel Babu a écrit : > Hello folks, > > We'll be having a short downtime for build.gluster.org on 20th June 2017 > (tomorrow). > > Date: 20th June 2017 > Time: 0230 UTC (2230 EDT / 0430 CEST / 0800 IST) > Duration: 1h > > Jenkins will be in a quiet time from