我已经删除并推送了一个分支,但它仍然显示branch -r
给其他用户:
serverAlpha $ git push origin --delete origin/issue186
serverAlpha $ git push
serverBeta $ git pull
serverBeta $ git branch -r
origin/HEAD -> origin/master
origin/issue186
origin/master
但是我知道git remote prune origin
每个其他用户都必须运行它。我如何删除分支以便其他用户看到它已被删除?我不能指望也不能与所有其他人交流修剪,我不希望其他人基于该分支进行工作。