Git push 从本地指定分支到远程指定分支

使用场景：

有时需要将指定的本地分支强制push到远程分支，可以在以下命令基础上加-f，强制执行。

git push origin +dev:master

Meaning: Git push to remote origin/master from local dev

以上命令的含义是push 到远程origin的master分支（从本地的dev分支）。

参考官方文档：

以下是官方详解：(摘自官方文档)

git push [--all | --mirror | --tags] [--follow-tags] [--atomic] [-n | --dry-run] [--receive-pack=]
           [--repo=] [-f | --force] [-d | --delete] [--prune]