pull: propagate --progress to merge