Hice algunos cambios que implican un restablecimiento de la penúltima confirmación, seguido de un cambio, una nueva confirmación y un cambio de etiqueta. Mientras que acababa de lanzarv1.0 en GitHub, necesitaba arreglar algo. Entonces, después de la clonación, corrí

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

Sin embargo, estos cambios no aparecen en la interfaz de GitHub. Puedo ver que los cambios fueron empujados, e incluso están presentes si clono una copia nueva del repositorio. Sin embargo, la interfaz gráfica de GitHub no muestra el cambio.

El repositorio en cuestión eshttps://github.com/The-Penultimate-Defenestrator/mathquill-evaluate

¿Cómo puedo solucionar este comportamiento?