git: ignore previously tracked path/to/file