git - 如果我删除其他人正在处理的远程分支会发生什么？

Question

我创建了一个远程分支，现在我想删除它，因为它已合并回我们的集成分支。我做一个

git push origin :name_of_branch

删除远程分支。

然而，不幸的是我弄错了，其他开发人员之一实际上有来自该分支的本地提交。我怎么打扰他的工作，他拉的时候他的变化现在有危险吗？

谢谢

Answer 1

拉取永远不会删除您的本地分支。如果您的其他开发人员使用git fetch --prune，他的本地远程跟踪分支（例如remote/origin/name_of_branch）将被删除，但他正在处理的本地版本应该保持不变，并且当他再次推送它们时，将重新创建分支。

（尽管根据上下文将新提交推送到新分支名称下可能更有用。）