From http://stackoverflow.com/questions/253055/how-do-i-push-amended-commit-to-the-remote-git-repo
#How do I push amended commit to the remote git repo? $ git push -f origin branch_name