tree e43b915e9336ddfad189c3855107831300a47257
parent 87636f2ac2d8a10e7db3be7b5dd47097cc1084ce
author Torne (Richard Coles) <torne@google.com> 1342794739 +0100
committer Torne (Richard Coles) <torne@google.com> 1342794797 +0100

Don't delete the branch config when switching branches.

The fix for issue #46 in 5d016502ebc6 appears to break syncing in some
situations: the branch is deleted after the point where it's been
configured, which deletes part of its configuration and causes the
config to change each time you call `repo init`, alternating between a
configuration that works and one that doesn't.

Instead of deleting the branch with git branch -D, use git update-ref -d
which just deletes the ref (to avoid the rebase) without touching the
configuration for the branch that was set up during the first repo init.

This appears to ensure the config is left in a valid state all the time
no matter what combination of repo init commands you run, without
reintroducing the rebasing issue.

Change-Id: Iaadaa6e56a46840bbc593fa5b35cb5b34cd3ce69