how to reset github repository to origin code example

Example 1: reset branch on local git

git fetch origin
git reset --hard origin/master

Example 2: revert on remote develop

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