tweak gitattributes for github diff