test: lake: avoid git init in the checked-in test tree#13873

Kha merged 1 commit into

leanprover:masterleanprover/lean4:masterfrom

Kha:push-urrykypuuvyvKha/lean4:push-urrykypuuvyvCopy head branch name to clipboard