deleting branch on git server ommited in pull

Issue #207 closed
Александр Литягин
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 (3)

  1. Kevin Bullock

    I don't completely follow the issue you're describing, but it sounds like expected behavior. If you delete the remote branch, your local clone will still have it. As far as I know, you are still allowed move the bookmark and then push it.

  2. Log in to comment