Faire un Git pull pour écraser les modifications locales

Il y a certainement eu des postes autour de cela, mais j'ai fait un commit parce que je pensais que c'était la bonne chose à faire.

Donc, j'ai deux référentiels, un développement et une production. J'ai dû modifier quelque chose dans la production parce qu'il était urgent de correction, et maintenant j'ai trois fichiers les plus récents dans la production que dans le développement.

Je me suis engagé les trois fichiers sur la production et essayé un pull, mais il m'a dit il y avait de fusionner les erreurs. J'ai essayé de copier et de coller les nouveaux fichiers sur le serveur de développement et de rejouer le tout et ça ne fonctionne pas. Maintenant, je suis sûr que ce dont j'ai besoin sur le développement (depuis que j'ai copiés et collés) et engagée, alors comment pouvais-je tirer et écraser les conflits de fichiers?


---- Suivi de @Seths répondre

Ok, je suppose que j'ai besoin de reformuler ma question 🙂
J'ai trois référentiels. Un développement, un sur GitHub et à une production.
Généralement à la mise à jour de la production, je viens de faire un push de développement GitHub, git pull origin master (à partir de GitHub à la production), et ça fonctionne.

Malheureusement, j'ai changé les fichiers sur la production sans accrocher. Comment puis-je la force d'écraser au lieu de fusionner lorsque vous essayez un pull?

OriginalL'auteur Andre | 2011-06-06