PR #3482 Remove `Optional` from `with_origin` API

Remove `Optional` from `with_origin` API #3482

charliermarsh merged 1 commit into main from charlie/opt

charliermarsh added internal

zanieb approved these changes on 2024-05-09

Base automatically changed from charlie/setup to main 1 year ago

Remove Optional from with_origin API

2e67b828

charliermarsh force pushed from 000b436f to 2e67b828 1 year ago

charliermarsh enabled auto-merge (squash) 1 year ago

charliermarsh merged b6bb2ac5 into main 1 year ago

charliermarsh deleted the charlie/opt branch 1 year ago

Reviewers

zanieb

Assignees

No one assigned

Labels

internal

Milestone

No milestone