workspace file in gitignore