Configure SSH-based KRB5 authentication

A customer asked for SSH-based KRB5 authentication in GitLab:

I want to be able to clone (e.g.)

git@[domain]:[group]/[project].git

...and have it work via krb5 only. (Note that this is the URL currently suggested via your interface).