Unexpected system error after push was received

Question

There was some github.com down time today that I wasn't aware of until I went to push about one dozen local commits.

• https://status.github.com/messages
• https://twitter.com/githubstatus

Here's the message I received when trying to push to github.com:

remote: Unexpected system error after push was received. remote: These changes may not be reflected on github.com! remote: Your unique error code: abcdefghijklmnopqrstuvwxuz 

Now that github.com is back up, when I view the project commit history online, I can see these dozen commits have not been pushed up to the repo.

I figured I could just push these changes again with git push origin master, but I am told Everything up-to-date. Similarily a git pull origin master also shows Everything up-to-date.

How can I get these local changes pushed up to my repo on github.com?

Answer 1

I hate to answer my own question so quickly, but with a little tinkering, here's a quick work around I discovered:

echo "bar" >> foo.txt git add foo.txt git commit -m "Add foo.txt" git push origin master git rm foo.txt git commit -m "Remove foo.txt" git push origin master 

This properly refreshed the commit history for my github.com repo. This should be safe to do, but definitely take a backup of your local code before trying it.