revert a commit github code example
Example 1: git remove las remotet commit
git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit
Example 2: github restore previous commit
# syntax
git revert <commit>
# example
git revert 99a5c5905e12c74725bae64c61efce140662ce24
# where 99a5c59... is the commit (you can check it on github)
Example 3: github undo last pushed commit
git reset <previous label or sha1>
git commit -am "blabla"
git push -f <remote-name> <branch-name>
Example 4: revert on remote develop
$ git reset HEAD^ --hard
$ git push mathnet -f