git reset a branch locally to match origin code example

Example 1: git match remote master

git fetch origin
git reset --hard origin/master

Example 2: revert on remote develop

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