how to make remote branch back to your local code example

Example 1: git reset from repository

git fetch --all
git reset --hard origin/master

Example 2: revert on remote develop

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