add a pull before the push to avoid errors