创建本地分支
git branch local
切换到dev分支
git checkout dev
删除本地分支(切换到其他分支)
git branch -d local
git branch -D local 强力删除
删除远程分支
git push origin --delete dev
远程覆盖覆盖本地(可用于本地分支local修改后,merage到了本地的远程分支dev还未提交,欲恢复dev之前的状态)
git reset --hard origin/dev