previous push failed somehow, do it again