GitHub репо не обновляется

Я сделал некоторые изменения, включающие сброс до предпоследнего коммита, затем изменение, повторный коммит и изменение тега. Тогда как я только что выпустилv1.0 на GitHub мне нужно было что-то исправить. Итак, после клонирования я побежал

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

Однако эти изменения не отображаются в интерфейсе GitHub. Я вижу, что изменения были перенесены, и они даже присутствуют, если я клонирую свежую копию репо. Однако графический интерфейс GitHub не показывает изменений.

Репо в вопросеhttps://github.com/The-Penultimate-Defenestrator/mathquill-evaluate

Как я могу исправить это поведение?