First checkout Develop branch
$ git checkout dev
Then, reset it to Master branch
$ git reset –hard master
Make sure to push the changes by force to make origin/dev to be the same as origin/master
$ git push –force origin develop
Point 1) Check if you have followed the below sequence of steps when setting up git in your local workstation...