与git branch -d [dev] 删除分支有什么区别
删除的是本地的分支，只影响到你自己本地电脑上的代码。git push origin --delete dev删除的是远端服务器上的分支，这样除了你以外的人就无法再从github的仓库里拉取dev这个分支了。