Recovering a patch accidentally removed by git reset