I am using visual studio 2017 and GIT.
I can connect to the GIT project, branch and pull the code.
When I make changes to the code, commit, and push to remote server, I have to raise a pull request to merge the code to another branch. Once the pull request succeeds, then the branch gets automatically deleted on the server. But it still exists locally. How do refresh my local branch to have same branches as that of server? I tried fetch but that is not getting rid of local branch (which was deleted from server).