Skip to content

(WIP) Migrate towards pathlib and enforce with ruff#1317

Draft
neiljp wants to merge 1 commit intozulip:mainfrom
neiljp:2023-03-04-ruff-path
Draft

(WIP) Migrate towards pathlib and enforce with ruff#1317
neiljp wants to merge 1 commit intozulip:mainfrom
neiljp:2023-03-04-ruff-path

Commits

Commits on Mar 4, 2023