git prune
git remote prune origin
git prořezávat
if you deleted a branch using the git web GUI and don't want it to show up in your local branch list anymore (git branch -r), then this is the command you should use.
git config pull s prořezávat
git config remote.origin.prune true