El repositorio de GitHub no se actualiza
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?