dev.gajim.org SSH host key fingerprint
This is assigned to the wrong project.
Is the dev.gajim.org SSH host key fingerprint published in a secure place anywhere? Similarly to https://docs.gitlab.com/ee/user/gitlab_com/#ssh-host-keys-fingerprints. I have searched but failed to find anything.
This is blocking me creating a merge request.