Title: Gerrit: Upcomming SSH host key changes

Subject: Hi all!

We are planning to regenerate the rsa host key and also add ed25519 and ecdsa ssh host keys.

This will lead to a popup when using ssh that the host key has changed.

We are planning to do this on XX of December 2019.

On behalf of Patrick, xxx