Closed Ggiggle closed 3 weeks ago
Download remote git repo would cost much time, so it's necessary to check for repeated downloads.
Use repo revision as file lock to avoid this.
Motivation
Download remote git repo would cost much time, so it's necessary to check for repeated downloads.
Solution
Use repo revision as file lock to avoid this.