ignore workspace file since it seems to change continuously