这是我的git工作流程.
我在两台不同的计算机(A和B)上工作,并在dropbox目录中存储一个公共git远程.
假设我有两个分支主人和开发人员.两者都在追踪他们的远程对手origin/master和origin/devel.
现在,在计算机A上,我删除了分支开发 - 本地和远程 - 如下所示:
git push origin :heads/devel
git branch -d devel
现在如果我git branch -a在电脑A上做,我明白了
master
origin/HEAD
origin/master
我现在去电脑B.做git fetch.我可以删除本地开发分支
git branch -d devel
但我无法删除远程开发分支.
git push origin :heads/devel
error: unable to push to unqualified destination: heads/proxy3d
The destination refspec neither matches an existing ref on the remote nor
begins with refs/, and we are unable to guess a prefix based on the source ref.
fatal: The remote end hung up unexpectedly …