git pull 去掉workspace.xml