Add workspace/ to .gitignore, remove workspace/ directory.