Irrelevant source file differences seen by GIT