pushed before gitignore includes .project