Learn more about these different git repos.
Other Git URLs
bd59d3f
replace krb_login with gssapi_login