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
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.
The repo in question is https://github.com/The-Penultimate-Defenestrator/mathquill-evaluate
How can I fix this behavior?
See Question&Answers more detail:
os 与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…