Delete workspace.xml from git.