Ernte1893
Ernte1893

Reputation: 303

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

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

Answers (1)

S.K.
S.K.

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

Related Questions