Comandos a serem lembrados do Git¶

Para voltar atrás em alguns commits (apagando o histórico de commits até ele):

git reset --hard last_working_commit_id

So we must not reset to the commit_id that we don't want.

Then sure, we must push to remote branch:

git push --force