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
remote
could beorigin
for 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
)