adjust travis settings