Gerrit/Jenkins server migration this weekend (May 2nd/3rd)

Hi,

We've been running gerrit/jenkins/grok on a bare metal server the last 5+
years. I was recently asked to move it all over to our virtual private
cloud env. Long term it will make hw upgrades a bit easier and hopefully
reduce the risk of something catastrophic occurring.

I've created the new instance and have started prototyping things. My plan
is to take down our gerrit/jenkins server at some point this upcoming
weekend, replicate all of the relevant files over to the new server, and
start them all up there.

The DNS change goes through the Linux Foundation so I'm assuming everything
wont be officially up until sometime Monday morning US Central Time (LF
will need to process my Jira ticket and roll out the DNS change).

I'll keep the #infrastructure channel updated in discord with status.

Let me know if you have any concerns,
Andrew