J'ai fait une erreur .... et je ne sais pas comment y remédier.Annuler un git pousser sur github
J'explique le problème.
Je travaillais sur mon projet, et j'ai fait un premier engagement. Dans ce commettras 2 gros fichiers inutiles ont été ajoutés ... Je ne voulais que ces fichiers, donc je l'ai fait une
git rm file
ensuite à nouveau commited. Et je suis stupide, parce que j'ai poussé à github hehehe :).
Je pense que vous avez trouvé le problème ...
Comment puis-je supprimer définitivement ces fichiers de mes dépôts locaux et GitHub (en particulier github ...)
J'ai trouvé un peu d'aide sur la Internet, mais je ne veux pas casser tout mon dépôt.
Merci
"vous ne pouvez pas l'enlever sans re-créer git repo" er, oui vous pouvez. Cela peut déranger les autres s'ils ont tiré, mais vous pouvez le faire. – Cascabel
Je n'avais aucune idée que vous pouvez le retirer du dépôt à distance, merci mon pote. –
Juste 'git reset HEAD ^' est OK; la réinitialisation mixte réinitialise également la zone de transfert mais (contrairement à '--hard') laisse le répertoire de travail intact. De là, 'git add -p' est souvent la prochaine étape. – Kos