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

Allow user to search for repos when cloning #2444

Closed
5 tasks done
krschau opened this issue Mar 20, 2024 · 0 comments · Fixed by #2443
Closed
5 tasks done

Allow user to search for repos when cloning #2444

krschau opened this issue Mar 20, 2024 · 0 comments · Fixed by #2443
Labels
Area-Machine-Config Related to the machine configuration feature Area-Machine-Config-Repo Related to Repo setup, cloning, etc Issue-Feature New feature or request Resolution-Fix-Available Available in a release
Milestone
Dev Home v0.13

Comments

@krschau
Copy link
Collaborator

krschau commented Mar 20, 2024 •
edited
Loading

Suggested new feature or improvement

User can search for repos, and Dev Home and the extensions can communicate the request and results.

Tasks
Beta Give feedback
  1. SDK changes for repo management. #2003
    Area-Machine-Config-Repo Issue-Scenario Resolution-Fix-Available
  2. Adding searching capability to the repo tool #2245
  3. Merge searching into main. #2443
  4. Enable searching. DevHomeAzureExtension#136
  5. Merge search into main. DevHomeAzureExtension#141
@krschau krschau added Issue-Feature New feature or request Area-Machine-Config Related to the machine configuration feature Area-Machine-Config-Repo Related to Repo setup, cloning, etc labels Mar 20, 2024
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Triage New issue that the core contributors need to triage label Mar 20, 2024
@krschau krschau removed the Needs-Triage New issue that the core contributors need to triage label Mar 20, 2024
@krschau krschau added this to the Dev Home v0.13 milestone Mar 20, 2024
@krschau krschau mentioned this issue Mar 20, 2024
Merged
3 tasks
@krschau krschau added the Resolution-Fix-Committed Fix is checked in, but may take 3-4 weeks before it's in a release label Mar 21, 2024
@krschau krschau added Resolution-Fix-Available Available in a release and removed Resolution-Fix-Committed Fix is checked in, but may take 3-4 weeks before it's in a release labels Apr 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Machine-Config Related to the machine configuration feature Area-Machine-Config-Repo Related to Repo setup, cloning, etc Issue-Feature New feature or request Resolution-Fix-Available Available in a release
Projects
None yet
Milestone
Dev Home v0.13
Development

Successfully merging a pull request may close this issue.

Merge searching into main. microsoft/devhome
1 participant
@krschau