Add workspace to .gitignore (no change)