What if a file extension is not in the above list? How will git treat it?