microsoft / devhome

The new Dev Home experience for Windows!
https://aka.ms/devhomedocs
MIT License
3.66k stars 330 forks source link

Update extension Json to make way for changes on extensions page and environments page #3923

Closed bbonaby closed 1 month ago

bbonaby commented 1 month ago

Summary of the pull request

This change is the first change to allow us to provide more information to users about extension that are not already installed in Dev Home. See issue #3911 for more details or see the spec I sent out to DevHomeAll for even more info on what's to come (or ping me for the link). Most of the change is just the json files and their C# counter parts.

Changes:

Here is a video showing me go to the extensions page to confirm functionality is not regressed:

https://github.com/user-attachments/assets/050199b2-0d4e-4cd9-81d5-7a558f0300f8

References and relevant issues

Detailed description of the pull request / Additional comments

Validation steps performed

PR checklist

bbonaby commented 1 month ago

Closing this PR and moving it and the future updates I had for it to a feature branch for the future team to continue: https://github.com/microsoft/devhome/tree/feature/devhome-extension-and-provider-discoverability-update. Reach out if you have any questions. Thanks.