f7c4d78
Use fetch-reset to origin instead of git pull Signed-off-by: Robert-André Mauchin <zebob.m@gmail.com>