reset to origin head code example
Example 1: git match remote master
git fetch origin
git reset --hard origin/master
Example 2: git reset to origin/master
git reset --hard origin/master
Example 3: git reset origin
git fetch origin
git reset --hard origin/master
Remember this forever
Example 4: revert on remote develop
$ git reset HEAD^ --hard
$ git push mathnet -f