disable pull on git operation to avoid being really slow