How to update the list of branches in a remote git repository?

Question

git

I deleted a branch on the local, wrote
git add
git commit -m
git push
but this branch remained in the remote repository, although it is no longer in the list of branches on the
local git remote update origin --prune
also did not help