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