Note to self… Exclude the workspace and project files as well as /config from Git so a .gitignore file should be something iike this:
*-project *-workspace config
So in bash something like:
$ echo *-workspace > .gitignore $ echo *-project >> .gitignore $ echo config >> .gitignore