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