how to use proxy only for the current project

When executing the git push command, if you need to push code to the remote repository through a proxy server, you can set up the proxy by following the steps:

Set up global proxy

If you want to set up a proxy for all Git operations, you can configure the global proxy using the following command:

git config --global http.proxy 'http://127.0.0.1:10809'
git config --global https.proxy 'http://127.0.0.1:10809'
# Or use socks5 proxy
git config --global http.proxy 'socks5://127.0.0.1:10808'
git config --global https.proxy 'socks5://127.0.0.1:10808'

Here 127.0.0.1 is the address of the proxy server, 10809 and 10808 are the proxy port numbers, you need to replace it with your own proxy server address and port number.

Set the agent for the current project

If you just want to set up a proxy for the current project, you can use the following command:

git config --local http.proxy '127.0.0.1:10809'
git config --local https.proxy '127.0.0.1:10809'

The --local parameter here means that it only takes effect on the current project.

Cancel proxy settings

If you want to cancel the global or project proxy settings, you can use the following command:

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

Or for the current project:

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

View proxy configuration

After setting up the proxy, you can use the following command to check whether the proxy configuration is successful:

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

Notes

• Make sure your proxy server is running and accessible properly.
• If your proxy requires a username and password, you need to include this information in the proxy address, for example: http://proxyuser:[email protected]:port.
• If you are using the SSH protocol to communicate with GitHub, you may need to set up an SSH proxy, which usually involves setting the SSH configuration file ~/.ssh/config.

After setting up the proxy by following the above steps, you should be able to execute the git push command normally through the proxy server. If you encounter problems, check the status of the proxy server and whether the Git configuration is correct.