revert git checkout to match remote branch code example

Example 1: git reset hard for remote

git reset --hard 
 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