CODEWITHSUNDEEP
gitgithubgithub-pages
Peter
Peter

Reputation: 13485

GitHub: My push is just ignored

I have a strange situation. I've used git and GitHub a lot, and never had this.

I'm modifying a Github Pages site (where you have a pagename.github.io address).

I change index.html locally. I commit, I push to master. It pushes.

But the changes do not appear when I look on Github.

I try creating a new branch, git checkout -b newbranch, git push --set-upstream origin newbranch. The branch does not appear on GitHub.

I have verified that the git remote -v does indeed return the expected repo on GitHub.

I'm at a loss. Does anyone know what could be wrong?

Upvotes: 1

Views: 61

Answers (1)

Peter
Peter

Reputation: 13485

The Answer:

Github was having server problems. Things were getting pushed successfully, but there was a delay of an hour or so before they showed up.

You can check here if Github has server problems (though they somewhat understated the severity -- they just said they were recovering from minor issues).

Upvotes: 1

Related Questions