TL;DR: the Gerrit host key change is getting postponed. There will be
no Gerrit host key change tomorrow on 2020-07-14.
You do not need to take action for now.
The host key change will happen, but at a later time. Once there is a
new date, we'll announce it on this list again.
</TLDR>
--------------------------------------------
If you have a service and need help to prepare for the migration or
have other specific requirements, please let us know.
Knowing that the Gerrit host key will impact many people, we wanted to
give an early heads-up and hence announced 7 days early to give every
Gerrit user and every maintainer of a service that uses Gerrit plenty
time to adjust to the host key change.
It turns out that the 7 days have been too optimistic, and for one
reason or the other, some services need more time to prepare for the
host key switch.
So we rather re-schedule and give more time than lock users or
services out.
If you run a service that talks to Gerrit through SSH, please let us
know if you need help with preparing for the change.
(We won't re-schedule again :-) )
Also, please let us know if you want to be kept in the loop with the
date finding.