mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-09-26 09:53:44 +08:00
53d6f4d17e0cb4eabcd604d584a1132a51cc8bf3
There is also shortcuts in case if the "current branch" is a persistent revision such as tag or sha1. We check if the persistent revision is present locally and if it does - do no fetch anything from the server. This greately reduces sync time and size of the on-disk repo Change-Id: I23c6d95185474ed6e1a03c836a47f489953b99be
Description
Languages
Python
99.2%
Shell
0.8%