Learn more about these different git repos.
Other Git URLs
efeada8
Undocument the krb5_changepw_principal option Fixes: #531