Handle default remote branch descriptions in Git plugin.

Authored by intelfx on Jul 17 2012, 12:48 PM.

Description

Handle default remote branch descriptions in Git plugin.

Git plugin previously failed to parse branch descriptions like
"remotes/origin/HEAD -> origin/master", treating them as branch names.
These descriptions only specify the default remote branch to pull,
so they can safely be ignored.

For example, this change makes "Revision History" work with
KDevelop/KDevPlatform repositories.

Details

Committed
intelfxJul 17 2012, 1:07 PM
Parents
R32:fb296419873e: Only resize the frames header if we have set a model
Branches
Unknown
Tags
Unknown