git: ignore TAGS files globally