GitHub repo не обновляет

Question

Я внес некоторые изменения, связанные с перезагрузкой предпоследней фиксации, за которой следует изменение, повторная фиксация и изменение тега. В то время как я только что выпустил 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

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

Answer 1

С Status сайта GitHub по:

Некоторые пользователи могут испытывать задержку толчков или других изменений, появляющихся на сайте.

То есть по состоянию на 10:53 Mountain Daylight Time

Answer 2

Если ваш последний коммит появляется, когда вы тянете ветку снова, то я думаю, что вы не должны беспокоиться, кажется, что GitHub сталкиваются с проблемами на сервере и не может обновить статус фиксации. У меня такая же проблема час назад, но через некоторое время моя новая фиксация показалась нормальной.