uv
Remove unnecessary `is_dir` in `clone_recursive`
#1247

Merged

Remove unnecessary `is_dir` in `clone_recursive` #1247

charliermarsh merged 1 commit into main from charlie/dir

charliermarsh added internal

charliermarsh force pushed from 2d4d4144 to 64b4468b 1 year ago

konstin approved these changes on 2024-02-04

Remove unnecessary is_dir in clone_recursive

074e0300

charliermarsh force pushed from 64b4468b to 074e0300 1 year ago

charliermarsh enabled auto-merge (squash) 1 year ago

charliermarsh merged be9125b0 into main 1 year ago

charliermarsh deleted the charlie/dir branch 1 year ago

Reviewers

konstin

Assignees

No one assigned

Labels

internal

Milestone

No milestone