Au travail, j'ai rencontré un collègue qui a fait un commit mais ne l'a peut-être pas poussé. Je l'ai poussé en premier, ce qui l'a amené à écraser son code d'origine lors de l'extraction, j'ai donc dû interroger l'enregistrement push.
J'ai vérifié de plusieurs façons, mais les résultats ne peuvent être interrogés que par des enregistrements de validation, pas d'enregistrements push
Comment peut-il être écrasé ? Il est impossible pour git de perdre votre soumission. Sauf s'il y a une mauvaise opération.
S'il y a des changements au même endroit, un conflit sera certainement signalé.
Si les changements concernent des endroits différents, il n’y aura aucun impact.
Pour autant que je sache, il n'y a pas d'enregistrement push dans git. Le committer, la date de soumission et l'identifiant du commit parent ont été enregistrés en détail. Vous pouvez tout comprendre en consultant l'historique des commits
.