At work, I encountered a colleague who made a commit but may not have pushed it. I pushed it first, which caused him to overwrite his original code when pulling, so there was a situation where I needed to query the push record.
I checked many ways and the results were all the same. Only commit records can be queried, no push records
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
How can it be overwritten? It is impossible for git to lose your submission. Unless there is a wrong operation.
If there are changes in the same location, a conflict will definitely be reported.
If the changes are to different locations, there will be no impact.
As far as I know, there is no push record in git. The committer, submission date, and parent commit id have been recorded in detail. You can understand it all by looking at the commit history