the original quick git push failed and everything was lost.