git reset brach to remote 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
git fetch origin
git reset --hard origin/master
$ git reset HEAD^ --hard
$ git push mathnet -f