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! )

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 ?

git réinitialiser

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

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

git pull, puis fusionner localement, puis git push.

git reset
git checkout