git must ignore dumps