Git：关于分支的操作
分支是日常开发中最为常用的，通常在分支中进行开发，开发完毕后将代码合并至master中。
以下是一些日常使用的分支操作
查看本地分支
git branch
查看远端分支
git branch -r
查看所有分支
git branch -a
创建本地分支dev：
git checkout -b dev
将本地分支dev推送到远端
git push origin <本地分支名>:<远程分支名>
通常远程分支与本地分支会同名，因此只需
git push origin dev
删除本地分支dev
git branch -d dev
强制删除本地分支dev
git branch -D dev
删除远端分支dev
git push origin --delete dev
或者推送一个空分支到远端
git push origin :dev
切换到dev分支
git checkout dev