Reputation: 3871
I have committed all changes and pushed to GitHub right after that, but the source viewer on GitHub is only showing the source from three hours ago.
$ git status
# On branch master
nothing to commit, working directory clean
git push origin
This updated the the GitHub repository, for some reason. So that fixed my problem.
I don't really see why this would help, since I assumed that it pushed to origin by default when you gave the command
git push
Upvotes: 1
Views: 1003
Reputation: 4068
You can always use
git push origin master --force
to force origin
to be an exact copy of your local machine.
USE WITH CAUTION!
Upvotes: 2