删除远程分支
git push origin :dev
或者
git push origin --delete dev
删除远程已被删除但本地仍存在的分支
git fetch --prune
或者
git remote prune origin
在使用此命令之前可以先用git remote prune origin --dry-run
查看哪些分支会被清理
将本地tag推送至远程仓库
git push origin v3.0
将本地所有tags推送至远程仓库
git push origin --tags
删除远程tag
git push origin --delete v3.0