f7c4d78 Use fetch-reset to origin instead of git pull

Authored and Committed by eclipseo 3 years ago
    Use fetch-reset to origin instead of git pull
    
    Signed-off-by: Robert-André Mauchin <zebob.m@gmail.com>
    
        
file modified
+1 -1
file modified
+12 -9