Je ferais cela en premier car c’est le plus facile. Une fois que vous aurez trouvé, la deuxième chose la plus simple est de copier ce fichier ailleurs afin de ne pas avoir de problèmes de conflit avec git. La meilleure solution serait de combiner votre stratégie actuelle avec une autre ligne pour supprimer l’autre paramètre conflictuel.
1 « J'aime »