Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Marketplace & Library for extensions #676

Closed
crutkas opened this issue May 23, 2023 · 1 comment · Fixed by #1529
Closed

Marketplace & Library for extensions #676

crutkas opened this issue May 23, 2023 · 1 comment · Fixed by #1529
Labels
Area-Extensibility Related to extensions Issue-Feature New feature or request Priority-0 Bug that's considered release-blocking Resolution-Fix-Available Available in a release
Milestone
Dev Home v0.5

Comments

@crutkas
Copy link
Member

crutkas commented May 23, 2023 •
edited by ethanfangg
Loading

Suggested new feature or improvement

Dev Home is built to be extensible. Users should have an easy way to find, install, & manage extensions built for Dev Home. This includes an Extensions Marketplace page & an Extensions Library page to support accessing & managing first- and third-party-built extensions directly within Dev Home.

Extensions Marketplace:

  • Dev Home provides UI for users to discover & browse all of the Dev Home extensions published in the Microsoft Store
  • Users can install extensions directly from Dev Home

Extensions Library:

  • Dev Home provides UI for users to view all installed Dev Home extensions
  • Users can check for updates, update, uninstall, sort, & view high-level details (i.e. version) for their installed Dev Home extensions

Scenario

Getting / finding new Dev Home extensions.

Managing installed Dev Home extensions.

Additional details

No response
@crutkas crutkas added the Issue-Feature New feature or request label May 23, 2023
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Triage New issue that the core contributors need to triage label May 23, 2023
@crutkas crutkas removed the Needs-Triage New issue that the core contributors need to triage label May 23, 2023
@ethanfangg ethanfangg changed the title Marketplace for extensions Marketplace & Library for extensions May 23, 2023
@cinnamon-msft cinnamon-msft added this to the Dev Home v0.4 milestone May 31, 2023
@mathewleeza mathewleeza modified the milestones: Dev Home v0.4, Backlog Jun 13, 2023
@krschau krschau mentioned this issue Jul 10, 2023
Closed
@soroshsabz
Copy link

Please add sub menu or special tags into Microsoft Store, to help users better find Dev Home Extensions

@soroshsabz soroshsabz mentioned this issue Jul 14, 2023
Open
20 tasks
@cinnamon-msft cinnamon-msft modified the milestones: Backlog, Dev Home v0.4 Jul 21, 2023
@cinnamon-msft cinnamon-msft added Priority-0 Bug that's considered release-blocking and removed Priority-2 labels Jul 27, 2023
@krschau krschau mentioned this issue Sep 12, 2023
Merged
3 tasks
@microsoft-github-policy-service microsoft-github-policy-service bot added the In-PR This issue has a related PR label Sep 12, 2023
@krschau krschau added Resolution-Fix-Available Available in a release and removed In-PR This issue has a related PR labels Oct 12, 2023
@ethanfangg ethanfangg mentioned this issue Jan 16, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Extensibility Related to extensions Issue-Feature New feature or request Priority-0 Bug that's considered release-blocking Resolution-Fix-Available Available in a release
Projects
None yet
Milestone
Dev Home v0.5
Development

Successfully merging a pull request may close this issue.

Add Extensions page, update What's New page, change how extensions are installed microsoft/devhome
6 participants
@crutkas @soroshsabz @krschau @cinnamon-msft @ujjwalchadha @mathewleeza