Skip to content

[GITHUB-338] Do not create a git repo if we’re already in a git repo#406

Merged
pec1985 merged 2 commits intomainfrom
GITHUB-338
Jun 30, 2025
Merged

[GITHUB-338] Do not create a git repo if we’re already in a git repo#406
pec1985 merged 2 commits intomainfrom
GITHUB-338

Commits

Commits on Jun 30, 2025