A branch, deleted on gitlab, still exists in the command line?

user_4482350 0
Viewed 2137

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.

gitlab git-branch git
1 Answers

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.

user_44699440
Related