There's a huge difference between VSCode and code repository. Switching out of VSCode requires pretty much no effort compared to code repository. Also, I think

There's a huge difference between VSCode and code repository. Switching out of VSCode requires pretty much no effort compared to code repository. Also, I think we'd have seen a similar outrage and panic if it was Google instead of Microsoft.