¿Cómo deshacer git push sin cambiar el código local?

Confundí para empujar todos los códigos de file incluyen el file lib que está en .gitignore en el estudio de Android. ¿Cómo podemos deshacer files de git push sin cambiar el código local? Me temo que mi nuevo código local se omite si reinicio Head.

Soy muy nuevo con git. Por favor ayuda y gracias.

Simplemente haga una copy de security de su HEAD actual, por ejemplo, de esta manera:

git tag tmptag git reset --hard HEAD^ git push --force git reset --hard tmptag git tag --delete tmptag 

Por cierto, no tengas miedo. Es difícil eliminar los commits por error. Por lo general, siempre ves todos los commits recientes usando git reflog . En lugar de crear dicha label de copy de security como mencioné anteriormente, podría restablecer la twig al antiguo hash sha1 original, incluso si ya no existe una twig o label que tenga esta confirmación en el historial. Incluso podría usar el identificador especial ORIG_HEAD sin copyr / pegar ningún hash sha1 en absoluto.