由于国内网络环境的原因，国内服务器访问 Github 等境外服务的速度极慢，因此需要设置代理来加快访问速度。