Alors j'ai fait une mauvaise chose.
Quelque part au cours de la réalisation d'un tas de changements, j'ai réalisé qu'un fichier involontaire s'était glissé dans un commit ou deux. Parce que je ne l'ai réalisé que plus tard, les commits qui incluaient le fichier ont maintenant été poussés vers le distant. Je veux et j'ai besoin des commits, je veux juste enlever ce fichier spécifique de ceux-ci.
Ce que je dois faire, bien sûr, c'est fouiller dans tous les coins et recoins de mon arbre (local et distant) et supprimer ce fichier. J'ai essayé plusieurs choses en utilisant filter-branch
y filter-tree
mais lorsque j'essaie de pousser les changements sont rejetés.
Quelles sont mes options ? Qu'est-ce que je fais de mal ?
Merci.
UPDATE
À la demande de Max, voici le message que je reçois lorsque j'essaie de pousser :
$ git push origin develop
To git@codaset.com:robwilkerson/cakephp-polyclip-plugin.git
! [rejected] develop -> develop (non-fast-forward)
error: failed to push some refs to 'git@codaset.com:robwilkerson/cakephp-polyclip-plugin.git'
To prevent you from losing history, non-fast-forward updates were rejected
Merge the remote changes before pushing again. See the 'Note about fast-forwards' section of 'git push --help' for details.