Skip to content

fix: convert git directory check warning to error#257

Open
ezyang wants to merge 1 commit into
gh/ezyang/196/basefrom
gh/ezyang/196/head
Open

fix: convert git directory check warning to error#257
ezyang wants to merge 1 commit into
gh/ezyang/196/basefrom
gh/ezyang/196/head

Commits

Commits on Apr 15, 2025