Re: Recovering a patch accidentally removed by git reset