Skip to content

Allow respect_gitignore when not in a git repo#5937

Merged
charliermarsh merged 1 commit intomainfrom dhruv/allow-non-gitJul 21, 2023

Commits

Commits on Jul 21, 2023