[git] Recover from git reset --hard?