Learn more about these different git repos.
Other Git URLs
2408e86
in proxyuser case, do use username rather than principal