https://chenhe.me/post/git-http-ssh-proxy-configuation