git branch -f master dev_branch will rewrite local master branch.
git push remote +dev_branch:master will rewrite remote branch.
- NOTE: If the above doesn’t work, the name
remotecould beoriginfor you (i.e.git push origin +dev_branch:master)
git branch -f master dev_branch will rewrite local master branch.
git push remote +dev_branch:master will rewrite remote branch.
remote could be origin for you (i.e. git push origin +dev_branch:master)