PR #12725 Ignore non-file workspace URL

Ignore non-file workspace URL #12725

dhruvmanila merged 2 commits into main from dhruv/ignore-non-workspace-url

dhruvmanila added server

dhruvmanila requested a review from

MichaReiser 2 years ago

Ignore non-file workspace URL

5cbbbf6c

dhruvmanila force pushed from bed704f8 to 5cbbbf6c 2 years ago

MichaReiser approved these changes on 2024-08-07

Show warning message

a6c6edb7

dhruvmanila enabled auto-merge (squash) 2 years ago

dhruvmanila merged 7fcfedd4 into main 2 years ago

dhruvmanila deleted the dhruv/ignore-non-workspace-url branch 2 years ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

server

Milestone

No milestone