On Wed, Jan 11, 2023 at 10:39:49PM -0600, Justin Pryzby wrote:
> Here's my latest copy of the patch.
> + # due to resource constraints we don't run this task by default for now
> + trigger_type: manual
Now, with trigger_type commented, so Thomas doesn't have to click
"trigger" for me.