diff options
author | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-10-08 13:22:09 +0100 |
---|---|---|
committer | Daniel Silverstone <daniel.silverstone@codethink.co.uk> | 2012-10-08 13:22:09 +0100 |
commit | 94c70b2a9df151ed409b549614c5bdf019791e5f (patch) | |
tree | c3ab09a25e955e2f7f405651a67df7196c0bf725 /README | |
parent | 216fd8f6f477c074d42577809aefdf4633823992 (diff) | |
download | lorry-94c70b2a9df151ed409b549614c5bdf019791e5f.tar.gz |
Handle branch name kind changes more gracefully.
Scenario: a repository contains a ref: refs/heads/foo and we
have that in our repository cache.
Action: upstream deletes that ref and then pushes a new refs
at refs/heads/foo/bar.
Action: we attempt to update the git and the update fails because
git remote update cannot cope with the 'kind' change of
refs/heads/foo from ref to directory.
Remedy: If we get an exception from the remote update --prune we
try the less efficient but more resilient combination of
first pruning and then updating.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions