查看此屏幕截图...我只是询问了分支机构,它显示了分支机构的不同之处'在分支列表中...然后当我尝试" del,rm或checkout"分支,它说分支不匹配...这里是屏幕截图:
发生的事情是我合并新主人后从github删除了分支。然后,我从github拉出新的主人并合并。一切都是一样的。如何删除git所说的不存在的分支?我也沉迷于:
任何想法......?
答案 0 :(得分:3)
正如托马斯在评论中指出的那样,del
不是有效的bash命令,也不是与git
相关的逗号,这是主要错误。
要删除本地分支,您可以使用git branch -d different-oil
。
要删除远程分支,您可以使用git push origin --delete different-oil
或git push origin :different_oil
。
但是,由于您还标记了github,您可以轻松删除Web界面中的分支。
相关问题:How do I delete a Git branch both locally and remotely?
更多信息:https://git-scm.com/book/en/v2/Git-Branching-Branch-Management
答案 1 :(得分:1)
基本上你运行shell命令而不是git命令。您应该使用git
为与git相关的命令添加前缀。请查看git --help
和git branch --help
。
要删除该分支,您必须运行git branch -d different-oil
。
答案 2 :(得分:0)