synchronize instead of github pull