github不小心同步覆盖了本地文件

昨天不小心github的commit还没push就同步了，导致本地文件被覆盖，一度以为没救了。 后来得微博 @空非无和 @柳烟堆雪 指点，用git reflog 恢复了文件。

事情是这样的。。。
我在两个电脑上修改一个项目，A修改文件a，B修改文件b。然后我干了下面这些事，按时间顺序。。。
1. A上 git commit
2. A上 git push
3. B上 git commit
4. B上 git pull
然后。。。B上修改的b就被覆盖了。。。

而且git log已经找不到第3步的commit了。

---

解决方案：
执行git reflog

502dd0f HEAD@{0}: pull --progress --rebase --prune origin