The source project of this merge request has been removed.
Mindslayer corrections
Such fix.
Server has been moved and upgraded to a much newer gitlab version, as you see. Your ssh client will very likely complain that the host keys have changed. This is normal, they have.
Such fix.