If you have shell access on Wikimedia servers and you are located in Europe (or EMEA region), this is for you:

There is now the new bastion host:

bast3001.wikimedia.org

to (finally) match with the existing bastion hosts 1001, 2001 and 4001.

It replaces hooft.esams.wikimedia.org and runs Debian jessie now.

If you had "hooft" in your ssh config, please replace it with bast3001.wikimedia.org (yes, we also dropped the .esams. suffix special case).

wikitech: https://wikitech.wikimedia.org/wiki/Bast3001

overview of bastions hosts with map: https://wikitech.wikimedia.org/wiki/Bastion

to actually answer the host key question and not just hit yes: https://wikitech.wikimedia.org/wiki/Help:SSH_Fingerprints/bast3001.wikimedia...

ticket: https://phabricator.wikimedia.org/T123712