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

我创建了一个远程分支,我现在要删除它,因为它被合并回我们的集成分支。我做了
git push origin :name_of_branch
删除远程分支。 但是,不幸的是我错了,其他开发人员实际上有一个本地提交源自该分支。我怎么打扰他的工作,当他拉扯时他的变化现在处于危险之中? 谢谢     
已邀请:
拉取永远不会删除您的本地分支。如果您的其他开发人员使用
git fetch --prune
,他的本地远程跟踪分支(例如
remote/origin/name_of_branch
)将被删除,但他正在处理的本地版本应该保持不变,当他再次推送它们时,将重新创建分支。 (尽管根据上下文在新分支名称下推送新提交可能更有用。)     

要回复问题请先登录注册