switching back to "git" since the workspace on the server could finally
be deleted
1 file changed