Hi,
Sorry, for the short notice, but I just had to reboot the Toolforge stretch bastion server (tools-sgebastion-07).
It should be back online already.
Context is: https://phabricator.wikimedia.org/T215154
regards
cloud-admin@lists.wikimedia.org