git merge完branch之后要delete一个branch吗?
可以删除!
|
但是远程仓库的分支还在
git branch -a
git branch -d dev
git branch -r -d origin/dev
git push origin :dev
可以删除!
|
但是远程仓库的分支还在
git branch -a
git branch -d dev
git branch -r -d origin/dev
git push origin :dev