Discussion :

[Amnael]

Salutation,

le problème est assez simple, mais je ne sais pas comment le gérer proprement.

A la base, j'avais un commit A qui était mauvais, sans trop réfléchir, je l'ai revert dans un commit B pour enfin faire la modif correcte dans un commit C.

Une fois cela fait, j'ai voulu nettoyer mon historique, j'ai fais un rebase qui a supprimé A et B qui n'avaient plus lieu d'être pour ne garder que C.

...-A-B-C est donc devenu ...-C

Sauf que voilà, je n'avais pas pensé que j'avais déjà push le commit A précédemment. Du coup lorsque j'essaie de push le lien ...-C forcément, ça coince puisque sur le remote j'ai encore ...-A.

Je pourrais bien entendu refaire un pull de mon remote pour régler le conflit...mais je garderais dans l'historique ce commit A que je ne veux pas.

Y aurait-il un moyen de directement supprimer ce commit A sur le remote ? En sachant qu'il est le dernier commit d'une branche distante différente de master. Et en sachant que personne n'a récupéré le commit en question puisqu'il s'agit d'une branche personnelle.


A noter que je parle bien de supprimer le commit et non simplement de l'annuler ou de l'inverser. Ce n'est peut-être pas possible mais c'est ce que je cherche à faire.

[Marco46]

Je pourrais bien entendu refaire un pull de mon remote pour régler le conflit...mais je garderais dans l'historique ce commit A que je ne veux pas.

Normalement c'est trop tard, à partir du moment où tu as push c'est gravé dans le marbre.

Y aurait-il un moyen de directement supprimer ce commit A sur le remote ? En sachant qu'il est le dernier commit d'une branche distante différente de master. Et en sachant que personne n'a récupéré le commit en question puisqu'il s'agit d'une branche personnelle.

Pas sur le remote. Si vraiment personne n'a récupéré le commit tu récupères ta branche personnelle du remote, tu fais ta modif et tu git push --force.

A noter que je parle bien de supprimer le commit et non simplement de l'annuler ou de l'inverser. Ce n'est peut-être pas possible mais c'est ce que je cherche à faire.

La seule solution c'est d'écraser l'historique avec git push --force.