git pull error

There may be errors when git gets it, so
delete the file and just pull it.

Guess you like

Origin blog.csdn.net/milijiangjun/article/details/108106142