Problem description: in Visual Studio in Team Explorer I create a new branch, come back into it some changes and make Publish this branch on GitLab. There I create Pull Request after which I create a branch in master, and after I delete the branch. Then in Visual Studio I do a Pull and the changes made appear in the master branch. If you look at the Branches tab in Team Explorer, then the branch that was deleted on the remote repository remains to hang in the list.
I can bring up the context menu on the branch and delete it manually. But even if so, I do not understand why these branches remain with me in remotes / origin.
Question: Should branches be deleted locally automatically after I deleted them on the remote repository? Or is this normal behavior and should I delete them myself?

--pruneparameter. If you want it to be automatic, setgit config remote.origin.prune true- KoVadim