Migration to Github: ignore .project because of maven-eclipse-plugin?