Skip to content

fix(pkg): Check that git repo dir is accessible#9019

Merged
rgrinberg merged 4 commits intoocaml:mainfrom Leonidas-from-XIV:git-dir-checkingOct 29, 2023

Commits

Commits on Oct 27, 2023

Commits on Oct 29, 2023