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
Как я могу исправить это поведение?