1. Augie Fackler
  2. hg-git
  3. Issues
Issue #207 new

deleting branch on git server ommited in pull

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