Import 2017-06-07 23:51:09: master 2eb9e4be

Author Committer Branch Timestamp Parent
mwoehlke mwoehlke master 2014-03-12 14:51:19 master 1a9f1251
Changeset

BUG: Fix extension index push corner case

Fix error pushing a user update branch to the extension index if the
branch name already exists but has not been fetched locally. This can
happen e.g. if an index update request was previously created from a
different clone of the extension index.

git-svn-id: http://svn.slicer.org/Slicer4/trunk@23001 3bd1e089-480b-0410-8dfb-8563597acbee

mod - Utilities/Scripts/SlicerWizard/ExtensionWizard.py Diff File