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.