我注意到从 GitHub 克隆一个 repo.git时,末尾缺少扩展名的 URL仍会正确克隆。
例如,这个命令:
git clone https://github.com/kach/nearley
Run Code Online (Sandbox Code Playgroud)
功能与此地址相同:
git clone https://github.com/kach/nearley.git
Run Code Online (Sandbox Code Playgroud)
这个功能是由 Git 命令提供的还是由服务器端的 GitHub 处理?如果这是 GitHub 的一个功能,他们是否在任何地方记录了这一点?
关于他们如何或为什么实施这一点的任何声明也将不胜感激。
| 归档时间: |
|
| 查看次数: |
960 次 |
| 最近记录: |