Silly GitHub, ignoring the .project