Skip to content

Don't use git to get the repo root#11377

Closed
jathu wants to merge 1 commit intomainfrom
jathu/remove-git-rev-parse
Closed

Don't use git to get the repo root#11377
jathu wants to merge 1 commit intomainfrom
jathu/remove-git-rev-parse

Commits

Commits on Jun 4, 2025