This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.
1) clone a remote repository with more than one branch 2) delete one of the branches in the remote repository 3) Git -> Fetch/Pull... offers only existing branch but does not allow you to delete local "origin/BRANCH" (or named otherwise)
fix: http://hg.netbeans.org/core-main/rev/943e77b28733
fix: http://hg.netbeans.org/core-main/rev/c4a4a9ee0a6c
Integrated into 'main-golden', will be available in build *201305222300* on http://bits.netbeans.org/dev/nightly/ (upload may still be in progress) Changeset: http://hg.netbeans.org/main-golden/rev/943e77b28733 User: Ondrej Vrabec <ovrabec@netbeans.org> Log: #230049 - mirrored branches in local repositories are not automatically deleted - offer the chance to delete origin/* branches in a local repository when they have been deleted in a remote one - offered in fetch, pull and push dialogs