git reset with origin 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 remote origin

$ git remote set-url origin https://github.com/USERNAME/REPOSITORY.git

Example 4: revert on remote develop

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