Changed the URL of repos to use the HTTP Proxy