Que dois-je faire si j'ai oublié de faire git pull avant git push et que je suis déjà engagé ?

Question

Que dois-je faire si j'oublie de git pull avant git push ?

Answer 1

Oublier de tirer avant de pousser aura une conséquence, c'est-à-dire que si vous poussez maintenant, il y aura un conflit (le message d'erreur est probablement que la version en ligne et la version locale sont désynchronisées et doivent être fusionnées) , et la poussée échouera.

Ensuite, vous devez le retirer, le fusionner, puis vous serez invité à signaler un conflit, puis à résoudre le conflit, puis à le pousser.

Bien sûr, s'il s'agit d'un petit projet personnel et que vous confirmez qu'il n'y a pas de problème, vous pouvez également ajouter -f pour forcer la soumission. La conséquence est que la version en ligne est obligée d'être écrasée (Ne l'utilisez pas comme ça pour une collaboration à plusieurs personnes ! Ne l'utilisez pas comme ça pour une collaboration à plusieurs personnes ! Ne l'utilisez pas comme ça pour collaboration à plusieurs personnes! )

Answer 2

Vous pouvez extraire après avoir validé, sinon Git est inutile Lorsque vous développez avec plusieurs personnes, devez-vous attendre que les autres aient fini d'écrire et d'extraire leur code avant de pouvoir commencer à écrire ?

Answer 3

git réinitialiser

Answer 4

Il aurait dû être retiré après la validation

Answer 5

git add
git commit -m ""
git pull
git push

Answer 6

git pull, puis fusionner localement, puis git push.

Answer 7

git reset
git checkout