ddc527a Update the repo if already cloned

Authored and Committed by ishcherb 4 years ago
    Update the repo if already cloned
    
        
file modified
+15 -4