Ignore the "workspace" directory on Git.