Hello all,

Unfortunately Jenkins requires a restart due to a the Gerrit plugin bug. Currently the server is in shutdown mode, I've had to clear some jobs that are blocking the shutdown.

Jenkins should be back to normal within the next hour.

Sorry for the inconvenience.

Ben