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.