mirror of
https://github.com/git/git
synced 2024-08-23 18:00:25 +00:00
remote-bzr: update old organization
If a clone exists with the old organization (v1.8.2) it will prevent the new shared bzr repository organization from working, so let's remove this repository, which is not used any more. Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
ab84621754
commit
6a3ac18ba3
|
@ -830,6 +830,13 @@ def get_repo(url, alias):
|
|||
clone_path = os.path.join(dirname, 'clone')
|
||||
if not os.path.exists(clone_path):
|
||||
os.mkdir(clone_path)
|
||||
else:
|
||||
# check and remove old organization
|
||||
try:
|
||||
bdir = bzrlib.bzrdir.BzrDir.open(clone_path)
|
||||
bdir.destroy_repository()
|
||||
except bzrlib.errors.NotBranchError:
|
||||
pass
|
||||
|
||||
try:
|
||||
repo = origin.open_repository()
|
||||
|
|
Loading…
Reference in a new issue