在公司有防火墙，没办法ping github.com,用vs2022里的github copilot 对话，无法连接，有各位佬友知道怎么处理吗？在本地设置了一个香港代理，公司只能用香港的代理