Learn more about these different git repos.
Other Git URLs
6087992
frontend: drop user proxy, we don't use it Fixes: #1859