git分支提交的问题：git push origin dev:dev 为什么dev后还要加一个冒号和dev呢？

Question

我想问一个git分支提交的问题，我看的教程是创建了一个dev分支。
分布的时候。代码是这样的：
git push origin dev:dev
我的疑问就是为什么dev后还要加一个冒号和dev呢？
这个:dev是啥意思啊？
有什么特殊含义吗？
可不可以不加啊？
如图：

Answer 1

一个大佬告诉我的是：

git push <远程主机名> <本地分支名>:<远程分支名>
前面的是本地分支名，后面的是远程分支名，同名可以省略冒号部分

Answer 2

git push origin dev:dev 和 git push origin dev 是等效的

如果两个分支一样，是可以省略的

Answer 3

git push origin dev:dev

冒号前的dev代表本地仓库的dev分支，
冒号后的dev代表远程仓库origin的dev分支

这句话的意思就是将本地的dev分支推送到远程仓库的dev分支。

因为这里本地仓库和远程仓库的分支名一样，可以简写为git push origin dev，远程分支可以省略，默认推送到远程仓库的同名分支