git: ignore dummy