解决github无法clone的问题

问题背景

(base) ~$ git clone https://github.com/isaac-sim/IsaacLab.git
正克隆到 'IsaacLab'...
fatal: 无法访问 'https://github.com/isaac-sim/IsaacLab.git/'：gnutls_handshake() failed: Error in the pull function.

解决办法

我使用了代理，需要配置

git config --global http.proxy http://127.0.0.1:7890
git config --global https.proxy http://127.0.0.1:7890