github revert to remote version code example

Example 1: git reset hard for remote

git reset --hard <commit-hash>
 git push -f origin master # only works for unprotected branches that allow force push

Example 2: revert on remote develop

$ git reset HEAD^ --hard
$ git push mathnet -f