Skip to content

Issues: microsoft/devhome

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

Clear current search query, filters, and sorts
7 Open 16 Closed
7 Open 16 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Dev Drive insights discoverability Area-DevDriveInsights Good-First-Issue Good for newcomers Issue-Feature New feature or request
#3393 opened Jul 10, 2024 by btueffers
@SohamDas2021
1
MAVEN_OPTS not set correctly when relocating Maven Area-DevDriveInsights Good-First-Issue Good for newcomers Issue-Bug Something isn't working or needs investigation Priority-2
#3336 opened Jun 29, 2024 by wasabii
@SohamDas2021
7
DevDrive customization window should display max and min values. Area-Machine-Config Related to the machine configuration feature Area-Machine-Config-Dev-Drive Related to Dev Drive features within Dev Home Good-First-Issue Good for newcomers Help-Wanted We encourage anyone to jump in on these Issue-Bug Something isn't working or needs investigation Priority-2
#2541 opened Apr 5, 2024 by dhoehna
@dhoehna
New Type of Issue in GitHub called ' A Question ' Area-Feedback Related to the Feedback page 📣 Good-First-Issue Good for newcomers Help-Wanted We encourage anyone to jump in on these Issue-Task Feature request that doesn't need a major design
#1880 opened Nov 11, 2023 by skanda890
2
Bookmarks/Favorites widget Good-First-Issue Good for newcomers Help-Wanted We encourage anyone to jump in on these Issue-Feature New feature or request New-Widget
#803 opened May 24, 2023 by shashankkhedikar
2
Add setting to change language Area-Settings Related to settings and customizability ⚙️ Good-First-Issue Good for newcomers Help-Wanted We encourage anyone to jump in on these Issue-Feature New feature or request
#708 opened May 23, 2023 by Odonno
2
Add hide what's new page setting Area-Settings Related to settings and customizability ⚙️ Good-First-Issue Good for newcomers Help-Wanted We encourage anyone to jump in on these Issue-Feature New feature or request
#623 opened May 19, 2023 by cinnamon-msft
2
ProTip! Follow long discussions with comments:>50.