tree da1b47c86049f771f2292c507de21064842809d7
parent 475a47d531bfe5ad82ec104189075df72a3143b7
author Florian Vallee <florian.vallee@gmail.com> 1339082366 +0200
committer Shawn O. Pearce <sop@google.com> 1339606857 -0700

Fix switching manifest branches using repo init -b

See repo issue #46 :
	https://code.google.com/p/git-repo/issues/detail?id=46

When using repo init -b on an already existing repository,
the next sync will try to rebase changes coming from the old manifest
branch onto the new, leading in the best case scenario to conflicts
and in the worst case scenario to an incorrect "mixed up" manifest.

This patch fixes this by deleting the "default" branch in the local
manifest repository when the -d init switch is used, thus forcing
repo to perform a fresh checkout of the new manifest branch

Change-Id: I379e4875ec5357d8614d1197b6afbe58f9606751