Add Profile Override for Non-Git Sources#135433

Merged

bors merged 1 commit intorust-lang:masterfrom tanvincible:patch-1

Jan 20, 2025

+7-4

Commits on Jan 20, 2025

Add logic to override profile for non git sources
tanvincible
committed