excluding 'workspace/' from .gitignore