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

Authored and Committed by pingou 8 years ago
    Allow repo.pull() to force the pull if desired
    
        
file modified
+7 -1