db724b0 Handle the situation where there are multiple branch of the same name in the same repo

Authored and Committed by pingou 9 years ago
    Handle the situation where there are multiple branch of the same name in the same repo
    
    In those case, git/pygit2 does not know which branch to take so in those
    case we take the ref of the branch from the origin repo.
    
        
file modified
+7 -3
file modified
+7 -3