Yo haría eso primero ya que es lo más fácil. Una vez que lo descubras, lo siguiente más fácil es copiar ese archivo a otro lugar para que no tengas problemas con git entrando en conflicto con él. La mejor solución sería combinar tu estrategia actual con otra línea para eliminar la otra configuración en conflicto.
1 me gusta