repo 没报错，但文件没同步下来的解决方法

同步命令：repo sync -c --no-tags -j16

同步结果：

 然而去目标路径，发现目标文件没有同步下来，此案例可用如下方式解决：

到目标目录下，执行

git reset -- hard

此时

ls

即可看到库上最新的文件被同步下来了。

若想确认文件版本是否与库上一致，用

git log .

即可检验。