https://blog.zengrong.net/post/1746.html
$ git push origin --delete routedemo
删除本地分支:
$ git branch –d 分支名
删除分支前最好先merge, 如果不merge(基本意思是这个分支废掉了)就用-D