GitHub repo不会更新 [英] GitHub repo doesn't update

问题描述

我做了一些涉及重置倒数第二次提交的更改，然后是更改，重新提交和标记更改。鉴于我刚刚在GitHub上发布了 v1.0 ，我需要修正一些问题。所以在克隆之后，我跑了

I made some changes involving a reset to the penultimate commit, followed by a change, a re-commit, and a tag change. Whereas I had just released v1.0 on GitHub, I needed to fix something. So after cloning, I ran

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的界面上。我可以看到，这些变化被推动了，如果我克隆了一个新的repo副本，它们甚至会出现。但是，GitHub的图形界面并未显示更改。

However, these changes don't appear on GitHub's interface. I can see that the changes were pushed, and they are even present if I clone a fresh copy of the repo. However, GitHub's graphical interface doesn't show the change.

有问题的回购是 https://github.com/The-Penultimate-Defenestrator/mathquill-evaluate

我怎样才能修正这种行为？

How can I fix this behavior?

推荐答案

从Github的状态网站：

From Github's Status site:

某些用户可能会在推送或其他更改上出现延迟。

Some users may experience a delay in pushes or other changes appearing on the site.

截至10:53山区夏令时间

That is as of 10:53 Mountain Daylight Time

这篇关于GitHub repo不会更新的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！