Em "04. voltando no tempo", é sugerido como exercício de aprendizado um reset após comandos de revert. Em seguida, sugere-se a sincronização do repositório local com o remoto artavés do . Contudo, parece haver uma incoerência aí, pois ao remover um commit do repositório local, quando o comando de push (git push ) for executado, o repositório Github deve rejeitar a atualização, uma vez que haverá arquivos no repoitório remoto que não estão presentes no repositório local, e utilizar git pull (como sugere o terminal) reverterá as ações de reset. Teria que usar push --force. Se não estou enganado é isso. Abraços!
