Version restore after git reset head gone wrong.