41d789 The head of the repo might be at a different location than the branch

Authored and Committed by Pierre-Yves Chibon 11 years ago
    The head of the repo might be at a different location than the branch
    
    So rely on the repo_commit object rather than repo_obj.head, this way
    we should be able to create p-r fine
    
        
file modified
+2 -2