Nous avons des branches d'origine et de développement. L'état initial du maître a été marqué à tag_ABC
.
Nous avons peu de changements apportés à la branche de développement et poussés à l'origine. Ensuite, nous avons accidentellement fusionné develop en master et poussé à l'origine.
Maintenant, nous aimerions ramener le maître au point de contrôle tag_ABC
. Comment peut-on faire ça?
git push --force origin master