Git: 分支替换

有时候合并分支会出现一堆冲突，这时可以用一个分支 dev 替换为另一个分支 master。

方法一

把本地的 dev 分支强制（-f）推送到远程 master分支。

git push origin dev:master -f

缺点：本地的 master 分支还是旧的，通常来说应该在本地修改好再 push 到 github 上。

方法二

首先，切换到旧的分支 master 。

git checkout master

将本地的旧分支 master 重置成 dev，即用 dev 分支替换 master 分支。

git reset --hard dev

最后，再 push 到远程仓库。

git push origin master --force