Skip to content

Allow --editable to override editable = false annotations#15712

Merged
charliermarsh merged 1 commit intomainfrom
charlie/edit
Sep 7, 2025
Merged

Allow --editable to override editable = false annotations#15712
charliermarsh merged 1 commit intomainfrom
charlie/edit

Commits

Commits on Sep 7, 2025