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

Question

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

Answer 1

一个大佬告诉我的是：

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