ブランチを削除してプッシュしましたが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
ただし、他の各ユーザーがこれを実行する必要があることは承知しています。ブランチが削除されたことを他のユーザーが確認できるように、ブランチを削除するにはどうすればよいですか? 私は他のすべての人に剪定を期待することも、連絡することさえできません。