开发者工具打开状态下，git pull有时候会丢失部分文件的更新

重启一下工具是否可以看到新内容呢

不行的，我已经总结出一个目前不是很中规中矩的解决办法就是git前必须关掉开发者工具，但这样的体验总归不太好