Change to optional.
Checking pipeline status.
Merge details
Pipeline #436258 passed
Pipeline passed for bca930d0 on main 10 months ago
enabled an automatic merge when the pipeline for 66401bd4 succeeds
mentioned in commit bca930d0
merged