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>