Fiz algumas alterações envolvendo uma redefinição do penúltimo commit, seguido por uma alteração, uma nova confirmação e uma alteração de tag. Considerando que eu tinha acabado de lançarv1.0 no GitHub, eu precisava consertar alguma coisa. Então, depois da clonagem, eu corri

git reset HEAD^
git tag -d v1.0
# changed my file
git commit -am "Move to version 1.0" # the same commit message as the one I undid above
git tag v1.0
git push --force --follow-tags

No entanto, essas alterações não aparecem na interface do GitHub. Percebo que as alterações foram enviadas e estão presentes se eu clonar uma nova cópia do repositório. No entanto, a interface gráfica do GitHub não mostra a alteração.

O repo em questão éhttps://github.com/The-Penultimate-Defenestrator/mathquill-evaluate

Como posso corrigir esse comportamento?