git push origin --delete dev20181018

切换到别的分支
git branch -d dev20181018
强制删除
git branch -D dev20181018