revert on remote develop code example

Example: revert on remote develop

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