b7983c5 To handle forced commits, we can just force the pull

Authored and Committed by pingou 8 years ago
    To handle forced commits, we can just force the pull
    
    We'll always do it as we want to have the latest content in the repo
    
        
file modified
+1 -19