Git基础操作：本地分支和远程分支改名

相信聪明的你，直接看代码就能看懂

# 本地分支改名
git branch -m feature/add_header2 feature/add_header
# 删除远程分支
git push origin :feature/add_header2
# 本地分支与远程分支关联，并push到远程
git push --set-upstream origin feature/add_header

# 以后再push执行下面这句话就ok了
git push