Reputation: 303
After merging a development branch devBranchA into the master, I deleted it on the web interface (precisely, on gitlab.com). If I then do a git branch -r
to list all remote branches, I get that:
origin/HEAD -> origin/master
origin/devBranchA
Why is that so? I already tried a git pull
, but it did not shown any difference.
Upvotes: 6
Views: 3817
Reputation: 3677
Use git remote prune origin
to remove the deleted remote branches from your local repo.
Use git branch -d <branch-name>
to delete the local branch.
Upvotes: 10