GitHub代理

• 例如：将

  git clone https://github.com/ros2/cartographer.git
  

• 更改为

  git clone https://mirror.ghproxy.com/https://github.com/ros2/cartographer.git
  

<aside> 💡 也就是说，在原 https://github.com 前加上

 [https://mirror.ghproxy.com/](https://mirror.ghproxy.com/)

</aside>