Fix the config line, use git:// instead of https://, and add .git to the end of the HTTP-Proxy URL