make local the same as remote ggit 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