Git Single Configuration Proxy

Accessing GitHub domestically is slow, and you can speed it up by configuring a proxy. There’s also another way: find a domestic hosting platform like CodeOcean or Coding. Configure the corresponding build pipeline to sync your code to GitHub.

I’ve been using ‘coding’ for many years – its interface is simple, and they recently released an announcement that the free version can no longer be used, requiring migration to Tencent’s new platform, cnb. Let me also complain a bit about Alibaba’s hosting platform; the entire interface design feels very dated/stuffy. It’s like eating a bowl of congee (班味 - ban wei).

https://cnb.cool/ttf248

Repository Migration

The cnb website provides migration tools that can batch migrate code from github to cnb. https://docs.cnb.cool/zh/guide/migration-tools.html

Git Proxy Configuration

To avoid slow synchronization due to the lack of an accelerator, tools will first synchronize code to your local machine and then upload it to the remote repository.

Git can be configured for HTTP proxies independently using the following commands, without affecting system-wide settings:

# Set HTTP proxy
git config --global http.proxy http://proxy.example.com:8080

# Set HTTPS proxy
git config --global https.proxy http://proxy.example.com:8080

# Optional: Configure proxy for a specific domain
git config --global http.https://github.com.proxy http://proxy.example.com:8080

To remove the proxy configuration, use the following commands:

git config --global --unset http.proxy
git config --global --unset https.proxy

To view your current proxy configuration:

git config --global --get http.proxy
git config --global --get https.proxy
Licensed under CC BY-NC-SA 4.0
Last updated on Jun 06, 2025 18:41
A financial IT programmer's tinkering and daily life musings
Built with Hugo
Theme Stack designed by Jimmy