Eu faria isso primeiro, pois é o mais fácil. Depois que você descobrir, a próxima coisa mais fácil é copiar esse arquivo para outro lugar para que você não tenha problemas com o git entrando em conflito com ele. A melhor solução seria combinar sua estratégia atual com outra linha para remover a outra configuração conflitante.
1 curtida