ragnarokkrr
7/8/2016 - 8:37 PM

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