Not following git global proxy config.
Because network problems I set git proxy with git config --global http.proxy 'socks5://127.0.0.1:1080' && git config --global https.proxy 'socks5://127.0.0.1:1080'
, but when jhbuild clone repos with https protocol, it seems no proxy is used, I get a slow speed. If I press Ctrl-C and start a shell, then run the clone command manually, I get a fast speed, is this a bug?