add /workbench to .gitignore