Learn more about these different git repos.
Other Git URLs
8b873db
[frontend] allow setting proxy/no-proxy when altering user