No matches were found for subject:"Re\: git overwriting local ignored files\?"