deleting branch on git server ommited in pull
Created originally on Bitbucket by Alex Rayne (Александр Литягин)
steps to reproduce:
-
push some bookmark to git. it will create git branch
-
delete on git repo that branch
-
pull from git repo - local bookmark still present /
look like this leaved bookmark hamper to push any another branch if i move bookmark