c4c8bc Allow repo.pull() to force the pull if desired

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Allow repo.pull() to force the pull if desired
    
        
file modified
+7 -1