pydev projects ignored from git