prevent git from pushing execlog files