deleting branch on git server ommited in pull

Issue #207 new
Alex Rayne
created an issue

steps to reproduce: 1) push some bookmark <drops> to git. it will create git branch <drops>

2) delete on git repo that branch

3) pull from git repo - local bookmark still present <repo-alias>/<drops>

look like this leaved bookmark hamper to push any another branch if i move bookmark <drops>

Comments (2)

  1. Log in to comment