But AnyObjectId overwrites equals and this should work. 

Anyhow, this change does not solve the error I face: I still see for some projects conflicting folders, with their path relative to the git repository and not relative to the workspace.