首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >冒号前缀的分支名称是git push <remote- name > --删除<remote-分支-name>的别名吗?

冒号前缀的分支名称是git push <remote- name > --删除<remote-分支-name>的别名吗?
EN

Stack Overflow用户
提问于 2019-05-21 21:53:22
回答 1查看 1K关注 0票数 0

运行像$ git push origin :remote-branch这样的命令是git push <remote-name> --delete <remote-branch-name>的快捷方式

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-05-21 21:58:37

是。来自man git-push

格式为git push <repository> <refspec><refspec>描述如下:

指定要用什么源对象更新的目标引用。参数的格式是可选的加号+,后面是源对象,后面是冒号:,后面跟着目标引用。

然后:

推送空的<src>允许您从远程存储库中删除<dst>参考文件。

票数 3
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/56246826

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档